SubClassOfAxiom and SubPropertyOfAxiom replace the generic interface
renamed axiom types in accordance with the standard
refactored Assertions
refactored Assertions a bit more
split axioms of Ontology into SubClass and SubProperty
removed SemanticQueryOptimization (which was never used)
refactored Ontology
trimmed down old DAG
removed unused code
Merge branch 'develop' into feature/tboxreasoner-improved
refactored disjoint classes and properties in Ontology
test on disjointness added
refactoring Ontology
cleaned Ontology
cleaned Ontology
Ontology refactored
refactored PropertyExpression: more efficient inverse operation
PropertyExpression simplified
cleaned OBDAModel
cleaned OBDAModel