Code clean up.
More code clean up.
Removed the told_subsumees set from the object property data type. Referring functions and code were removed in the previous commit. The set is not needed any more, the role saturation function does not use it.
The classes of a disjoint classes axiom are now stored in a list.
Minor comment on the preprocessing of disjointclasses axioms.
Minor code clean up.
tbox->subclass_axioms is now a Set.
tbox->equivalentclasses_axioms is now a Set.
tbox->subobjectpropertyof_axioms is now a Set.
Experimenting with role saturation, new test ontologies.
Experimenting with role saturation
Experimenting with role saturation.
Bugfix in role and concept saturation.
tbox->transitiveobjectproperty_axioms is now a Set.
tbox->equivalent_objectproperties_axiom is now a Set.
tbox->disjoint_classes_axioms is now a Set.
Minor code refactoring.
Bugfix in role composition hierarchy computation.
Documentation in dynamic hash table.
Added list_remove function, first implementation of eliminating redundant role composition subsumers.