Changed r->atomic from ObjectProperty* to ObjectProperty.
Changed r->description.role_composition from ObjectPropertyChain* to ObjectPropertyChain.
Changed r->told_subsumers and r->told_subsumees to Set.
Changed r->subsumers to Set. Additionally, bugfix, the macros from the previous commit were buggy.
Converted r->subsumer_list to List.
Converted r->subsumees to Set and r->subsumer_list to List.
Converted r->first_component_of and r->second_component of to Set.
Renamed r->description.role_composition to r->description.role->object_property_chain
Converted tbox->object_property_chains to Map.
Bugfix in creating object property chains.
Added debug output in concept and role saturation.
Sample ontologies for testing role composition.
Partially fixed the bug in role saturation
experimenting with role saturation
New test for role compositions
Bugfix in role saturation
Bugfix in getting the negative occurrences of an existential restriction, whose role and filler are given.
Improvement in role saturation, additional ontology for testing role saturation.
Bugfix in role saturaion and new ontologies for testing role saturation.
Removed debug messages, increased version number