diff --git a/owlapy/class_expression/nary_boolean_expression.py b/owlapy/class_expression/nary_boolean_expression.py index 466c15b8..4435b2d8 100644 --- a/owlapy/class_expression/nary_boolean_expression.py +++ b/owlapy/class_expression/nary_boolean_expression.py @@ -29,9 +29,9 @@ def __repr__(self): def __eq__(self, other): if type(other) is type(self): - return {i for i in self._operands} == { j for j in other.operands()} - else: - return False + return (set(self._operands) == set(other.operands()) + and len(list(self._operands)) == len(list(other.operands()))) + return False def __hash__(self): return hash(self._operands) diff --git a/owlapy/class_expression/restriction.py b/owlapy/class_expression/restriction.py index 827cf534..50587d9b 100644 --- a/owlapy/class_expression/restriction.py +++ b/owlapy/class_expression/restriction.py @@ -438,9 +438,11 @@ def __hash__(self): def __eq__(self, other): if type(other) is type(self): - return self._values == other._values - else: - return False + if isinstance(self._values, OWLIndividual): + return self._values == other._values + else: + return set(self._values) == set(other._values) and len(self._values) == len(other._values) + return False def __repr__(self): return f'OWLObjectOneOf({self._values})' diff --git a/owlapy/owl_axiom.py b/owlapy/owl_axiom.py index caa84eea..ddf0e1b3 100644 --- a/owlapy/owl_axiom.py +++ b/owlapy/owl_axiom.py @@ -195,9 +195,10 @@ def operands(self) -> Iterable[OWLPropertyExpression]: def __eq__(self, other): if type(other) is type(self): return self._class_expression == other._class_expression \ - and self._property_expressions == other._property_expressions \ - and self._annotations == other._annotations - return NotImplemented + and set(self._property_expressions) == set(other._property_expressions) \ + and len(self._property_expressions) == len(other._property_expressions) \ + and set(self._annotations) == set(other._annotations) + return False def __hash__(self): return hash((self._class_expression, *self._property_expressions, *self._annotations)) @@ -257,8 +258,11 @@ def as_pairwise_axioms(self) -> Iterable['OWLNaryClassAxiom']: def __eq__(self, other): if type(other) is type(self): - return self._class_expressions == other._class_expressions and self._annotations == other._annotations - return NotImplemented + # parsed to set to have order-insensitive comparison + return (set(self._class_expressions) == set(other._class_expressions) + and len(self._class_expressions) == len(other._class_expressions) + and set(self._annotations) == set(other._annotations)) + return False def __hash__(self): return hash((*self._class_expressions, *self._annotations)) @@ -339,8 +343,10 @@ def as_pairwise_axioms(self) -> Iterable['OWLNaryIndividualAxiom']: def __eq__(self, other): if type(other) is type(self): - return self._individuals == other._individuals and self._annotations == other._annotations - return NotImplemented + return (set(self._individuals) == set(other._individuals) + and len(self._individuals) == len(other._individuals) + and set(self._annotations) == set(other._annotations)) + return False def __hash__(self): return hash((*self._individuals, *self._annotations)) @@ -405,8 +411,10 @@ def as_pairwise_axioms(self) -> Iterable['OWLNaryPropertyAxiom']: def __eq__(self, other): if type(other) is type(self): - return self._properties == other._properties and self._annotations == other._annotations - return NotImplemented + # parsed to set to have order-insensitive comparison + return (set(self._properties) == set(other._properties) and len(self._properties) == len(other._properties) + and set(self._annotations) == set(other._annotations)) + return False def __hash__(self): return hash((*self._properties, *self._annotations)) @@ -587,9 +595,10 @@ def get_owl_disjoint_classes_axiom(self) -> OWLDisjointClassesAxiom: def __eq__(self, other): if type(other) is type(self): - return self._cls == other._cls and self._class_expressions == other._class_expressions \ - and self._annotations == other._annotations - return NotImplemented + return (self._cls == other._cls and set(self._class_expressions) == set(other._class_expressions) + and self._annotations == other._annotations + and len(self._class_expressions) == len(other._class_expressions)) + return False def __hash__(self): return hash((self._cls, *self._class_expressions, *self._annotations)) diff --git a/owlapy/owl_data_ranges.py b/owlapy/owl_data_ranges.py index bcead840..290bc797 100644 --- a/owlapy/owl_data_ranges.py +++ b/owlapy/owl_data_ranges.py @@ -4,7 +4,6 @@ DataRange := Datatype | DataIntersectionOf | DataUnionOf | DataComplementOf | DataOneOf | DatatypeRestriction """ - from .owl_object import OWLObject from .meta_classes import HasOperands from typing import Final, Sequence, Iterable @@ -42,8 +41,9 @@ def __repr__(self): def __eq__(self, other): if type(other) is type(self): - return self._operands == other._operands - return NotImplemented + return (set(self._operands) == set(other._operands) + and len(list((self._operands))) == len(list((other._operands)))) + return False def __hash__(self): return hash(self._operands) diff --git a/owlapy/owlapi_mapper.py b/owlapy/owlapi_mapper.py index 67ac16f8..541aefa6 100644 --- a/owlapy/owlapi_mapper.py +++ b/owlapy/owlapi_mapper.py @@ -33,7 +33,7 @@ startJVM() from org.semanticweb.owlapi.model import IRI as owlapi_IRI, OWLOntologyID as owlapi_OWLOntologyID from org.semanticweb.owlapi.vocab import OWLFacet as owlapi_OWLFacet -from java.util import ArrayList, List, Set, LinkedHashSet, Optional +from java.util import ArrayList, List, Set, LinkedHashSet, Optional, Collections from java.util.stream import Stream from uk.ac.manchester.cs.owl.owlapi import (OWLClassImpl, OWLDataAllValuesFromImpl, OWL2DatatypeImpl, OWLDataExactCardinalityImpl,OWLDataHasValueImpl, @@ -329,24 +329,24 @@ def _(self, e): @map_.register(OWLObjectPropertyDomainAxiom) @map_.register(OWLDataPropertyDomainAxiom) @map_.register(OWLAnnotationPropertyDomainAxiom) - @map_.register(OWLAnnotationPropertyRangeAxiom) def _(self, e): return init(e)(self.map_(e.get_property()), self.map_(e.get_domain()), self.map_(e.annotations())) @map_.register(OWLObjectPropertyDomainAxiomImpl) @map_.register(OWLDataPropertyDomainAxiomImpl) @map_.register(OWLAnnotationPropertyDomainAxiomImpl) - @map_.register(OWLAnnotationPropertyRangeAxiomImpl) def _(self, e): return init(e)(self.map_(e.getProperty()), self.map_(e.getDomain()), self.map_(e.annotationsAsList())) @map_.register(OWLObjectPropertyRangeAxiom) @map_.register(OWLDataPropertyRangeAxiom) + @map_.register(OWLAnnotationPropertyRangeAxiom) def _(self, e): return init(e)(self.map_(e.get_property()), self.map_(e.get_range()), self.map_(e.annotations())) @map_.register(OWLObjectPropertyRangeAxiomImpl) @map_.register(OWLDataPropertyRangeAxiomImpl) + @map_.register(OWLAnnotationPropertyRangeAxiomImpl) def _(self, e): return init(e)(self.map_(e.getProperty()), self.map_(e.getRange()), self.map_(e.annotationsAsList())) @@ -445,12 +445,12 @@ def _(self, e): @map_.register(OWLDifferentIndividualsAxiom) @map_.register(OWLSameIndividualAxiom) def _(self, e): - return OWLDifferentIndividualsAxiomImpl(self.map_(e.individuals()), self.map_(e.annotations())) + return init(e)(self.map_(e.individuals()), self.map_(e.annotations())) @map_.register(OWLDifferentIndividualsAxiomImpl) @map_.register(OWLSameIndividualAxiomImpl) def _(self, e): - return OWLDifferentIndividualsAxiom(self.map_(e.getIndividualsAsList()), self.map_(e.annotationsAsList())) + return init(e)(self.map_(e.getIndividualsAsList()), self.map_(e.annotationsAsList())) @map_.register(OWLDisjointUnionAxiom) def _(self, e): @@ -504,6 +504,8 @@ def _(self, e): if e and len(casted_list) > 0: for obj in list(e): python_list.append(self.map_(obj)) + # reverse to have the same order as the mapped iterable object + python_list.reverse() return python_list @map_.register(list) @@ -514,6 +516,8 @@ def _(self, e): if e is not None and len(e) > 0: for item in e: java_list.add(self.map_(item)) + # reverse to have the same order as the mapped iterable object + Collections.reverse(java_list) return java_list @map_.register(Stream) diff --git a/tests/test_owlapi_mapper.py b/tests/test_owlapi_mapper.py index 9a9796ba..63ac38df 100644 --- a/tests/test_owlapi_mapper.py +++ b/tests/test_owlapi_mapper.py @@ -6,9 +6,20 @@ OWLObjectMinCardinality, OWLObjectMaxCardinality, OWLObjectExactCardinality, OWLDataMinCardinality, \ OWLDataMaxCardinality, OWLDataExactCardinality, OWLObjectHasSelf, OWLObjectHasValue, OWLObjectSomeValuesFrom, \ OWLObjectAllValuesFrom, OWLDataAllValuesFrom, OWLDataHasValue, OWLObjectUnionOf, OWLObjectOneOf, \ - OWLFacetRestriction, OWLDatatypeRestriction, OWLDataOneOf + OWLFacetRestriction, OWLDatatypeRestriction, OWLDataOneOf, OWLThing from owlapy.iri import IRI -from owlapy.owl_axiom import OWLAnnotationProperty, OWLAnnotation, OWLAnnotationAssertionAxiom +from owlapy.owl_axiom import OWLAnnotationProperty, OWLAnnotation, OWLAnnotationAssertionAxiom, OWLDeclarationAxiom, \ + OWLClassAssertionAxiom, OWLObjectPropertyAssertionAxiom, OWLDataPropertyAssertionAxiom, \ + OWLNegativeDataPropertyAssertionAxiom, OWLNegativeObjectPropertyAssertionAxiom, OWLObjectPropertyDomainAxiom, \ + OWLDataPropertyDomainAxiom, OWLAnnotationPropertyDomainAxiom, OWLAnnotationPropertyRangeAxiom, \ + OWLObjectPropertyRangeAxiom, OWLDataPropertyRangeAxiom, OWLEquivalentDataPropertiesAxiom, \ + OWLEquivalentObjectPropertiesAxiom, OWLEquivalentClassesAxiom, OWLDisjointClassesAxiom, \ + OWLDisjointDataPropertiesAxiom, OWLDisjointObjectPropertiesAxiom, OWLHasKeyAxiom, OWLSubClassOfAxiom, \ + OWLSubDataPropertyOfAxiom, OWLSubObjectPropertyOfAxiom, OWLSubAnnotationPropertyOfAxiom, \ + OWLAsymmetricObjectPropertyAxiom, OWLFunctionalObjectPropertyAxiom, OWLInverseFunctionalObjectPropertyAxiom, \ + OWLIrreflexiveObjectPropertyAxiom, OWLReflexiveObjectPropertyAxiom, OWLSymmetricObjectPropertyAxiom, \ + OWLTransitiveObjectPropertyAxiom, OWLFunctionalDataPropertyAxiom, OWLDatatypeDefinitionAxiom, \ + OWLDifferentIndividualsAxiom, OWLSameIndividualAxiom, OWLDisjointUnionAxiom, OWLInverseObjectPropertiesAxiom from owlapy.owl_data_ranges import OWLDataIntersectionOf, OWLDataUnionOf, OWLDataComplementOf from owlapy.owl_datatype import OWLDatatype from owlapy.owl_individual import OWLNamedIndividual @@ -140,20 +151,98 @@ def test_datarange_mapping(self): self.assertEqual(f, self.mapper.map_(self.mapper.map_(f))) self.assertEqual(fr, self.mapper.map_(self.mapper.map_(fr))) self.assertEqual(dtr, self.mapper.map_(self.mapper.map_(dtr))) - self.assertCountEqual(list(dio.operands()), list(self.mapper.map_(self.mapper.map_(dio)).operands())) - self.assertCountEqual(list(doo.operands()), list(self.mapper.map_(self.mapper.map_(doo)).operands())) + self.assertEqual(dio, self.mapper.map_(self.mapper.map_(dio))) + self.assertEqual(doo, self.mapper.map_(self.mapper.map_(doo))) self.assertCountEqual(list(duo.operands()), list(self.mapper.map_(self.mapper.map_(duo)).operands())) self.assertEqual(dco, self.mapper.map_(self.mapper.map_(dco))) def test_axiom_mapping(self): ap = OWLAnnotationProperty(IRI.create(self.test_ns + "test_annotation")) + new_ap = OWLAnnotationProperty(IRI.create(self.test_ns + "new_ap")) av = OWLLiteral("Value of annotation") + test_iri = IRI.create(self.test_ns + "test_iri") a = OWLAnnotation(ap, av) aa = OWLAnnotationAssertionAxiom(IRI.create(self.test_ns + "test_annotation_subject"), a) - + new_class = OWLClass(self.test_ns + "new_class") + new_ind = OWLNamedIndividual(self.test_ns + "new_ind") + new_dp = OWLDataProperty(self.test_ns + "new_dp") + new_op = OWLObjectProperty(self.test_ns + "new_op") + dtr = OWLDatatypeRestriction(DoubleOWLDatatype, OWLFacetRestriction(OWLFacet.MAX_EXCLUSIVE, OWLLiteral(0.1))) + da = OWLDeclarationAxiom(new_class, [a]) + caa = OWLClassAssertionAxiom(self.i, new_class, [a]) + opaa = OWLObjectPropertyAssertionAxiom(self.i, self.op, new_ind, [a]) + dpaa = OWLDataPropertyAssertionAxiom(self.i, self.dp, OWLLiteral(1), [a]) + ndpaa = OWLNegativeDataPropertyAssertionAxiom(self.i, self.dp, OWLLiteral(1), [a]) + nopaa = OWLNegativeObjectPropertyAssertionAxiom(self.i, self.op, new_ind, [a]) + opda = OWLObjectPropertyDomainAxiom(self.op, OWLThing, [a]) + opra = OWLObjectPropertyRangeAxiom(self.op, OWLThing, [a]) + dpda = OWLDataPropertyDomainAxiom(self.dp, OWLThing, [a]) + dpra = OWLDataPropertyRangeAxiom(self.dp, IntegerOWLDatatype, [a]) + apda = OWLAnnotationPropertyDomainAxiom(ap, test_iri, [a]) + apra = OWLAnnotationPropertyRangeAxiom(ap, test_iri, [a]) + edpa = OWLEquivalentDataPropertiesAxiom([self.dp, new_dp], [a]) + eopa = OWLEquivalentObjectPropertiesAxiom([self.op, new_op], [a]) + dopa = OWLDisjointObjectPropertiesAxiom([self.op, new_op], [a]) + ddpa = OWLDisjointDataPropertiesAxiom([self.dp, new_dp], [a]) + eca = OWLEquivalentClassesAxiom([self.c, new_class], [a]) + dca = OWLDisjointClassesAxiom([self.c, new_class], [a]) + hka = OWLHasKeyAxiom(self.c, [self.op, new_op], [a]) + sca = OWLSubClassOfAxiom(self.c, new_class, [a]) + sdpa = OWLSubDataPropertyOfAxiom(self.dp, new_dp, [a]) + sopa = OWLSubObjectPropertyOfAxiom(self.op, new_op, [a]) + sapa = OWLSubAnnotationPropertyOfAxiom(ap, new_ap, [a]) + aopa = OWLAsymmetricObjectPropertyAxiom(self.op, [a]) + fopa = OWLFunctionalObjectPropertyAxiom(self.op, [a]) + ifopa = OWLInverseFunctionalObjectPropertyAxiom(self.op, [a]) + iopa = OWLIrreflexiveObjectPropertyAxiom(self.op, [a]) + ropa = OWLReflexiveObjectPropertyAxiom(self.op, [a]) + smopa = OWLSymmetricObjectPropertyAxiom(self.op, [a]) + topa = OWLTransitiveObjectPropertyAxiom(self.op, [a]) + fdpa = OWLFunctionalDataPropertyAxiom(self.dp, [a]) + dda = OWLDatatypeDefinitionAxiom(DoubleOWLDatatype, dtr, [a]) + dia = OWLDifferentIndividualsAxiom([self.i, new_ind], [a]) + sia = OWLSameIndividualAxiom([self.i, new_ind], [a]) + dua = OWLDisjointUnionAxiom(self.c, [new_class], [a]) + inopa = OWLInverseObjectPropertiesAxiom(self.op, new_op, [a]) self.assertEqual(ap, self.mapper.map_(self.mapper.map_(ap))) self.assertEqual(av, self.mapper.map_(self.mapper.map_(av))) self.assertEqual(a, self.mapper.map_(self.mapper.map_(a))) self.assertEqual(aa, self.mapper.map_(self.mapper.map_(aa))) + self.assertEqual(da, self.mapper.map_(self.mapper.map_(da))) + self.assertEqual(caa, self.mapper.map_(self.mapper.map_(caa))) + self.assertEqual(opaa, self.mapper.map_(self.mapper.map_(opaa))) + self.assertEqual(dpaa, self.mapper.map_(self.mapper.map_(dpaa))) + self.assertEqual(ndpaa, self.mapper.map_(self.mapper.map_(ndpaa))) + self.assertEqual(nopaa, self.mapper.map_(self.mapper.map_(nopaa))) + self.assertEqual(opda, self.mapper.map_(self.mapper.map_(opda))) + self.assertEqual(opra, self.mapper.map_(self.mapper.map_(opra))) + self.assertEqual(dpda, self.mapper.map_(self.mapper.map_(dpda))) + self.assertEqual(dpra, self.mapper.map_(self.mapper.map_(dpra))) + self.assertEqual(apda, self.mapper.map_(self.mapper.map_(apda))) + self.assertEqual(apra, self.mapper.map_(self.mapper.map_(apra))) + self.assertEqual(edpa, self.mapper.map_(self.mapper.map_(edpa))) + self.assertEqual(eopa, self.mapper.map_(self.mapper.map_(eopa))) + self.assertEqual(dopa, self.mapper.map_(self.mapper.map_(dopa))) + self.assertEqual(ddpa, self.mapper.map_(self.mapper.map_(ddpa))) + self.assertEqual(eca, self.mapper.map_(self.mapper.map_(eca))) + self.assertEqual(dca, self.mapper.map_(self.mapper.map_(dca))) + self.assertEqual(hka, self.mapper.map_(self.mapper.map_(hka))) + self.assertEqual(sca, self.mapper.map_(self.mapper.map_(sca))) + self.assertEqual(sdpa, self.mapper.map_(self.mapper.map_(sdpa))) + self.assertEqual(sopa, self.mapper.map_(self.mapper.map_(sopa))) + self.assertEqual(sapa, self.mapper.map_(self.mapper.map_(sapa))) + self.assertEqual(aopa, self.mapper.map_(self.mapper.map_(aopa))) + self.assertEqual(fopa, self.mapper.map_(self.mapper.map_(fopa))) + self.assertEqual(ifopa, self.mapper.map_(self.mapper.map_(ifopa))) + self.assertEqual(iopa, self.mapper.map_(self.mapper.map_(iopa))) + self.assertEqual(ropa, self.mapper.map_(self.mapper.map_(ropa))) + self.assertEqual(smopa, self.mapper.map_(self.mapper.map_(smopa))) + self.assertEqual(topa, self.mapper.map_(self.mapper.map_(topa))) + self.assertEqual(fdpa, self.mapper.map_(self.mapper.map_(fdpa))) + self.assertEqual(dda, self.mapper.map_(self.mapper.map_(dda))) + self.assertEqual(dia, self.mapper.map_(self.mapper.map_(dia))) + self.assertEqual(sia, self.mapper.map_(self.mapper.map_(sia))) + self.assertEqual(dua, self.mapper.map_(self.mapper.map_(dua))) + self.assertEqual(inopa, self.mapper.map_(self.mapper.map_(inopa))) diff --git a/tests/test_owlapy_command.py b/tests/test_owlapy_command.py index 88387b16..6daa76b4 100644 --- a/tests/test_owlapy_command.py +++ b/tests/test_owlapy_command.py @@ -25,7 +25,7 @@ def test_owlapy_entry_point(self): onto = SyncOntologyManager().load_ontology("inferred_axioms_ontology.owl") ops = onto.object_properties_in_signature() - self.assertEqual(list(ops), [OWLObjectProperty(IRI('http://www.benchmark.org/family#', 'hasChild')), + self.assertCountEqual(list(ops), [OWLObjectProperty(IRI('http://www.benchmark.org/family#', 'hasChild')), OWLObjectProperty(IRI('http://www.benchmark.org/family#', 'hasParent')), OWLObjectProperty(IRI('http://www.benchmark.org/family#', 'hasSibling')), OWLObjectProperty(IRI('http://www.benchmark.org/family#', 'married')), @@ -49,7 +49,7 @@ def test_owlapy_entry_point(self): 'topObjectProperty')), [])) classes = onto.classes_in_signature() - self.assertEqual(list(classes), [OWLClass(IRI('http://www.benchmark.org/family#', 'Brother')), + self.assertCountEqual(list(classes), [OWLClass(IRI('http://www.benchmark.org/family#', 'Brother')), OWLClass(IRI('http://www.benchmark.org/family#', 'Child')), OWLClass(IRI('http://www.benchmark.org/family#', 'Daughter')), OWLClass(IRI('http://www.benchmark.org/family#', 'Father')), diff --git a/tests/test_sync_ontology.py b/tests/test_sync_ontology.py index f02c198e..624d4825 100644 --- a/tests/test_sync_ontology.py +++ b/tests/test_sync_ontology.py @@ -74,7 +74,8 @@ father_manager = SyncOntologyManager() father_onto = father_manager.load_ontology(father_onto_path) -class TestSyncReasoner(unittest.TestCase): + +class TestSyncOntology(unittest.TestCase): ontology_path = "KGs/Test/test_ontology.owl" manager = SyncOntologyManager() @@ -84,7 +85,9 @@ def test_interface_father_dataset(self): ontology_path = "KGs/Family/father.owl" onto = SyncOntologyManager().load_ontology(ontology_path) assert {owl_class.reminder for owl_class in onto.classes_in_signature()}=={'male', 'female', 'Thing', 'person'} - assert {individual.reminder for individual in onto.individuals_in_signature()}=={'markus', 'anna', 'martin', 'stefan', 'heinz', 'michelle'} + assert {individual.reminder for individual in onto.individuals_in_signature()} == {'markus', 'anna', 'martin', + 'stefan', 'heinz', + 'michelle'} assert {object_property.reminder for object_property in onto.object_properties_in_signature()}=={'hasChild'} # NOTE AB: The name of "assertCountEqual" may be misleading,but it's essentially an order-insensitive "assertEqual". @@ -104,9 +107,9 @@ def test_individuals_in_signature(self): s, ind1]) def test_equivalent_classes_axiom(self): - eq1 = OWLEquivalentClassesAxiom([N, Q]) - eq2 = OWLEquivalentClassesAxiom([F, OWLObjectSomeValuesFrom(property=r2, filler=G)]) - eq3 = OWLEquivalentClassesAxiom([AB, OWLObjectIntersectionOf((A, B))]) + eq1 = OWLEquivalentClassesAxiom([Q, N]) + eq2 = OWLEquivalentClassesAxiom([OWLObjectSomeValuesFrom(property=r2, filler=G), F]) + eq3 = OWLEquivalentClassesAxiom([OWLObjectIntersectionOf((B, A)), AB]) aeq = set() for cls in self.onto.classes_in_signature(): ea = set(self.onto.equivalent_classes_axioms(cls)) @@ -138,22 +141,68 @@ def test_get_signature(self): def test_get_abox(self): self.assertCountEqual(father_onto.get_abox_axioms(), - [OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://example.com/father#', 'martin')),class_expression=OWLClass(IRI('http://example.com/father#', 'male')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://example.com/father#', 'markus')),class_expression=OWLClass(IRI('http://example.com/father#', 'male')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://example.com/father#', 'michelle')),class_expression=OWLClass(IRI('http://example.com/father#', 'female')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://example.com/father#', 'heinz')),class_expression=OWLClass(IRI('http://example.com/father#', 'male')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://example.com/father#', 'stefan')),class_expression=OWLClass(IRI('http://example.com/father#', 'male')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://example.com/father#', 'anna')),class_expression=OWLClass(IRI('http://example.com/father#', 'female')),annotations=[]), - OWLObjectPropertyAssertionAxiom(subject=OWLNamedIndividual(IRI('http://example.com/father#', 'anna')),property_=OWLObjectProperty(IRI('http://example.com/father#', 'hasChild')),object_=OWLNamedIndividual(IRI('http://example.com/father#', 'heinz')),annotations=[]), - OWLObjectPropertyAssertionAxiom(subject=OWLNamedIndividual(IRI('http://example.com/father#', 'stefan')),property_=OWLObjectProperty(IRI('http://example.com/father#', 'hasChild')),object_=OWLNamedIndividual(IRI('http://example.com/father#', 'markus')),annotations=[]), - OWLObjectPropertyAssertionAxiom(subject=OWLNamedIndividual(IRI('http://example.com/father#', 'markus')),property_=OWLObjectProperty(IRI('http://example.com/father#', 'hasChild')),object_=OWLNamedIndividual(IRI('http://example.com/father#', 'anna')),annotations=[]), - OWLObjectPropertyAssertionAxiom(subject=OWLNamedIndividual(IRI('http://example.com/father#', 'martin')),property_=OWLObjectProperty(IRI('http://example.com/father#', 'hasChild')),object_=OWLNamedIndividual(IRI('http://example.com/father#', 'heinz')),annotations=[])]) + [OWLClassAssertionAxiom( + individual=OWLNamedIndividual(IRI('http://example.com/father#', 'martin')), + class_expression=OWLClass(IRI('http://example.com/father#', 'male')), annotations=[]), + OWLClassAssertionAxiom( + individual=OWLNamedIndividual(IRI('http://example.com/father#', 'markus')), + class_expression=OWLClass(IRI('http://example.com/father#', 'male')), + annotations=[]), + OWLClassAssertionAxiom( + individual=OWLNamedIndividual(IRI('http://example.com/father#', 'michelle')), + class_expression=OWLClass(IRI('http://example.com/father#', 'female')), + annotations=[]), + OWLClassAssertionAxiom( + individual=OWLNamedIndividual(IRI('http://example.com/father#', 'heinz')), + class_expression=OWLClass(IRI('http://example.com/father#', 'male')), + annotations=[]), + OWLClassAssertionAxiom( + individual=OWLNamedIndividual(IRI('http://example.com/father#', 'stefan')), + class_expression=OWLClass(IRI('http://example.com/father#', 'male')), + annotations=[]), + OWLClassAssertionAxiom( + individual=OWLNamedIndividual(IRI('http://example.com/father#', 'anna')), + class_expression=OWLClass(IRI('http://example.com/father#', 'female')), + annotations=[]), + OWLObjectPropertyAssertionAxiom( + subject=OWLNamedIndividual(IRI('http://example.com/father#', 'anna')), + property_=OWLObjectProperty(IRI('http://example.com/father#', 'hasChild')), + object_=OWLNamedIndividual(IRI('http://example.com/father#', 'heinz')), + annotations=[]), + OWLObjectPropertyAssertionAxiom( + subject=OWLNamedIndividual(IRI('http://example.com/father#', 'stefan')), + property_=OWLObjectProperty(IRI('http://example.com/father#', 'hasChild')), + object_=OWLNamedIndividual(IRI('http://example.com/father#', 'markus')), + annotations=[]), + OWLObjectPropertyAssertionAxiom( + subject=OWLNamedIndividual(IRI('http://example.com/father#', 'markus')), + property_=OWLObjectProperty(IRI('http://example.com/father#', 'hasChild')), + object_=OWLNamedIndividual(IRI('http://example.com/father#', 'anna')), + annotations=[]), + OWLObjectPropertyAssertionAxiom( + subject=OWLNamedIndividual(IRI('http://example.com/father#', 'martin')), + property_=OWLObjectProperty(IRI('http://example.com/father#', 'hasChild')), + object_=OWLNamedIndividual(IRI('http://example.com/father#', 'heinz')), + annotations=[])]) def test_get_tbox(self): - self.assertCountEqual(father_onto.get_tbox_axioms(), - [OWLEquivalentClassesAxiom([OWLClass(IRI('http://example.com/father#', 'male')), OWLObjectComplementOf(OWLClass(IRI('http://example.com/father#', 'female')))],[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://example.com/father#', 'female')),super_class=OWLClass(IRI('http://example.com/father#', 'person')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://example.com/father#', 'male')),super_class=OWLClass(IRI('http://example.com/father#', 'person')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://example.com/father#', 'person')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), - OWLObjectPropertyRangeAxiom(OWLObjectProperty(IRI('http://example.com/father#', 'hasChild')),OWLClass(IRI('http://example.com/father#', 'person')),[]), - OWLObjectPropertyDomainAxiom(OWLObjectProperty(IRI('http://example.com/father#', 'hasChild')),OWLClass(IRI('http://example.com/father#', 'person')),[])]) + print(father_onto.get_tbox_axioms()) + self.assertCountEqual(list(father_onto.get_tbox_axioms()), + [OWLObjectPropertyDomainAxiom( + OWLObjectProperty(IRI('http://example.com/father#', 'hasChild')), + OWLClass(IRI('http://example.com/father#', 'person')),[]), + OWLObjectPropertyRangeAxiom( + OWLObjectProperty(IRI('http://example.com/father#', 'hasChild')), + OWLClass(IRI('http://example.com/father#', 'person')),[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://example.com/father#', 'person')), + super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')), + annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://example.com/father#', 'male')), + super_class=OWLClass(IRI('http://example.com/father#', 'person')), + annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://example.com/father#', 'female')), + super_class=OWLClass(IRI('http://example.com/father#', 'person')), + annotations=[]), + OWLEquivalentClassesAxiom([OWLObjectComplementOf( + OWLClass(IRI('http://example.com/father#', 'female'))), + OWLClass(IRI('http://example.com/father#', 'male'))],[])]) diff --git a/tests/test_sync_reasoner.py b/tests/test_sync_reasoner.py index d3ebccbf..493fba14 100644 --- a/tests/test_sync_reasoner.py +++ b/tests/test_sync_reasoner.py @@ -225,124 +225,123 @@ def test_types(self): self.assertCountEqual(list(reasoner2.types(c)), [I, J, K, OWLThing]) def test_infer_axiom(self): - self.assertCountEqual(list(reasoner2.infer_axioms(["InferredClassAssertionAxiomGenerator", "InferredSubClassAxiomGenerator", "InferredDisjointClassesAxiomGenerator", "InferredEquivalentClassAxiomGenerator", "InferredEquivalentDataPropertiesAxiomGenerator","InferredEquivalentObjectPropertyAxiomGenerator", "InferredInverseObjectPropertiesAxiomGenerator","InferredSubDataPropertyAxiomGenerator", "InferredSubObjectPropertyAxiomGenerator","InferredDataPropertyCharacteristicAxiomGenerator", "InferredObjectPropertyCharacteristicAxiomGenerator" - ])), [ OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','f')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','l')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','L')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','m')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','M')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','a')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','e')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','C')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','s')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','n')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','p')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','P')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','a')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','AB')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','q')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','Q')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','a')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','B')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','n')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','N')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','c')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','K')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','e')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','A')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','ind1')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','d')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','o')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','O')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','c')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','I')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','r')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','R')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','q')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','l')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','s')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','S')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','f')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','E')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','g')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','b')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','n')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','Q')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','e')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','B')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','a')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','C')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','o')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','o')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','P')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','ind1')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','H')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','a')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','A')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','e')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','ind1')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','F')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','s')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','T')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','r')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','e')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','AB')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','m')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','h')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','d')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','D')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','c')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','J')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','b')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','B')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','c')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','d')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','B')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','p')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','q')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','N')),annotations=[]), - OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','g')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','G')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','AB')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','A')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','I')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','K')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','N')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','Q')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','A')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','D')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','B')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','AB')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','C')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','K')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','B')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','G')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','O')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','P')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','L')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','S')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','F')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','H')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','AB')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','B')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','E')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','J')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','U')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','I')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','J')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','T')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','P')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','C')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','H')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','M')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','R')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing')),annotations=[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','D')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','Q')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','J')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','E')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','K')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','L')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','R')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','AB')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','S')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','M')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','F')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','A')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','G')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','T')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','H')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','N')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','U')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','L')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','M'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','I')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','B')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','O')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','P')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','C')), OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))],[]), - OWLEquivalentClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','N')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','Q'))],[]), - OWLSubDataPropertyOfAxiom(sub_property=OWLDataProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','dp2')),super_property=OWLDataProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','dp1')),annotations=[]), - OWLSubDataPropertyOfAxiom(sub_property=OWLDataProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','dp3')),super_property=OWLDataProperty(IRI('http://www.w3.org/2002/07/owl#','topDataProperty')),annotations=[]), - OWLSubDataPropertyOfAxiom(sub_property=OWLDataProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','dp1')),super_property=OWLDataProperty(IRI('http://www.w3.org/2002/07/owl#','topDataProperty')),annotations=[]), - OWLSubObjectPropertyOfAxiom(sub_property=OWLObjectProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','r5')),super_property=OWLObjectProperty(IRI('http://www.w3.org/2002/07/owl#','topObjectProperty')),annotations=[]), - OWLSubObjectPropertyOfAxiom(sub_property=OWLObjectProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','r2')),super_property=OWLObjectProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','r1')),annotations=[]), - OWLSubObjectPropertyOfAxiom(sub_property=OWLObjectProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','r7')),super_property=OWLObjectProperty(IRI('http://www.w3.org/2002/07/owl#','topObjectProperty')),annotations=[]), - OWLSubObjectPropertyOfAxiom(sub_property=OWLObjectProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','r4')),super_property=OWLObjectProperty(IRI('http://www.w3.org/2002/07/owl#','topObjectProperty')),annotations=[]), - OWLSubObjectPropertyOfAxiom(sub_property=OWLObjectProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','r1')),super_property=OWLObjectProperty(IRI('http://www.w3.org/2002/07/owl#','topObjectProperty')),annotations=[]), - OWLSubObjectPropertyOfAxiom(sub_property=OWLObjectProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','r3')),super_property=OWLObjectProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','r4')),annotations=[]), - OWLSubObjectPropertyOfAxiom(sub_property=OWLObjectProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','r6')),super_property=OWLObjectProperty(IRI('http://www.w3.org/2002/07/owl#','topObjectProperty')),annotations=[])]) + ])),[OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'f')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'l')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'L')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'm')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'M')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'a')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'e')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'C')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 's')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'n')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'p')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'P')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'a')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'AB')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'q')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'Q')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'a')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'B')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'n')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'N')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'c')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'K')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'e')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'A')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'ind1')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'd')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'o')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'O')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'c')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'I')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'r')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'R')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'q')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'l')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 's')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'S')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'f')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'E')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'g')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'b')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'n')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'Q')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'e')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'B')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'a')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'C')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'o')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'o')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'P')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'ind1')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'H')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'a')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'A')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'e')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'ind1')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'F')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 's')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'T')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'r')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'e')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'AB')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'm')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'h')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'd')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'D')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'c')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'J')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'b')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'B')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'c')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'd')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'B')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'p')),class_expression=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'q')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'N')),annotations=[]), + OWLClassAssertionAxiom(individual=OWLNamedIndividual(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'g')),class_expression=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'G')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'AB')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'A')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'I')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'K')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'N')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'Q')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'A')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'D')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'B')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'AB')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'C')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'K')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'B')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'G')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'O')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'P')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'L')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'S')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'F')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'H')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'AB')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'B')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'E')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'J')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'U')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'I')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'J')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'T')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'P')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'C')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'H')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'M')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'R')),super_class=OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Thing')),annotations=[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'D'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'Q'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'J'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'E'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'K'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'L'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'R'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'AB'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'S'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'M'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'F'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'A'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'G'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'T'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'H'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'N'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'U'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'M')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'L'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'I'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'B'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'O'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'P'))],[]), + OWLDisjointClassesAxiom([OWLClass(IRI('http://www.w3.org/2002/07/owl#', 'Nothing')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'C'))],[]), + OWLEquivalentClassesAxiom([OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'Q')), OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'N'))],[]), + OWLSubDataPropertyOfAxiom(sub_property=OWLDataProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'dp2')),super_property=OWLDataProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'dp1')),annotations=[]), + OWLSubDataPropertyOfAxiom(sub_property=OWLDataProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'dp3')),super_property=OWLDataProperty(IRI('http://www.w3.org/2002/07/owl#', 'topDataProperty')),annotations=[]), + OWLSubDataPropertyOfAxiom(sub_property=OWLDataProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'dp1')),super_property=OWLDataProperty(IRI('http://www.w3.org/2002/07/owl#', 'topDataProperty')),annotations=[]), + OWLSubObjectPropertyOfAxiom(sub_property=OWLObjectProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'r5')),super_property=OWLObjectProperty(IRI('http://www.w3.org/2002/07/owl#', 'topObjectProperty')),annotations=[]), + OWLSubObjectPropertyOfAxiom(sub_property=OWLObjectProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'r2')),super_property=OWLObjectProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'r1')),annotations=[]), + OWLSubObjectPropertyOfAxiom(sub_property=OWLObjectProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'r7')),super_property=OWLObjectProperty(IRI('http://www.w3.org/2002/07/owl#', 'topObjectProperty')),annotations=[]), + OWLSubObjectPropertyOfAxiom(sub_property=OWLObjectProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'r4')),super_property=OWLObjectProperty(IRI('http://www.w3.org/2002/07/owl#', 'topObjectProperty')),annotations=[]), + OWLSubObjectPropertyOfAxiom(sub_property=OWLObjectProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'r1')),super_property=OWLObjectProperty(IRI('http://www.w3.org/2002/07/owl#', 'topObjectProperty')),annotations=[]), + OWLSubObjectPropertyOfAxiom(sub_property=OWLObjectProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'r3')),super_property=OWLObjectProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'r4')),annotations=[]), + OWLSubObjectPropertyOfAxiom(sub_property=OWLObjectProperty(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'r6')),super_property=OWLObjectProperty(IRI('http://www.w3.org/2002/07/owl#', 'topObjectProperty')),annotations=[])]) def test_entailment(self): - self.assertTrue(reasoner2.is_entailed(OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','D')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','B')),annotations=[]))) - self.assertFalse(reasoner2.is_entailed(OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','B')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','D')),annotations=[]))) - self.assertFalse(reasoner2.is_entailed(OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','C')),super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#','G')),annotations=[]))) + self.assertTrue(reasoner2.is_entailed(OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'D')), super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'B')), annotations=[]))) + self.assertFalse(reasoner2.is_entailed(OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'B')), super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'D')), annotations=[]))) + self.assertFalse(reasoner2.is_entailed(OWLSubClassOfAxiom(sub_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'C')), super_class=OWLClass(IRI('http://www.semanticweb.org/stefan/ontologies/2023/1/untitled-ontology-11#', 'G')), annotations=[]))) def test_satisfiability(self): ST = OWLObjectIntersectionOf([S, T])