@Override protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory df, Set<OWLObjectPropertyCharacteristicAxiom> result, Set<OWLObjectPropertyExpression> nonSimpleProperties) { addIfEntailed(df.getOWLSymmetricObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(df.getOWLReflexiveObjectPropertyAxiom(entity), reasoner, result); if (simple(entity, reasoner)) { addIfEntailed(df.getOWLFunctionalObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(df.getOWLInverseFunctionalObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(df.getOWLAsymmetricObjectPropertyAxiom(entity), reasoner, result); addTransitiveAxiomIfEntailed(entity, reasoner, df, result); addIfEntailed(df.getOWLIrreflexiveObjectPropertyAxiom(entity), reasoner, result); } }
@Override protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory df, Set<OWLObjectPropertyCharacteristicAxiom> result, Set<OWLObjectPropertyExpression> nonSimpleProperties) { addIfEntailed(df.getOWLSymmetricObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(df.getOWLReflexiveObjectPropertyAxiom(entity), reasoner, result); if (simple(entity, reasoner)) { addIfEntailed(df.getOWLFunctionalObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(df.getOWLInverseFunctionalObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(df.getOWLAsymmetricObjectPropertyAxiom(entity), reasoner, result); addTransitiveAxiomIfEntailed(entity, reasoner, df, result); addIfEntailed(df.getOWLIrreflexiveObjectPropertyAxiom(entity), reasoner, result); } }
@Override protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory df, Set<OWLObjectPropertyCharacteristicAxiom> result, Set<OWLObjectPropertyExpression> nonSimpleProperties) { addIfEntailed(df.getOWLSymmetricObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(df.getOWLReflexiveObjectPropertyAxiom(entity), reasoner, result); if (simple(entity, reasoner)) { addIfEntailed(df.getOWLFunctionalObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(df.getOWLInverseFunctionalObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(df.getOWLAsymmetricObjectPropertyAxiom(entity), reasoner, result); addTransitiveAxiomIfEntailed(entity, reasoner, df, result); addIfEntailed(df.getOWLIrreflexiveObjectPropertyAxiom(entity), reasoner, result); } }