protected static void addTransitiveAxiomIfEntailed(OWLObjectProperty p, OWLReasoner r, OWLDataFactory df, Set<OWLObjectPropertyCharacteristicAxiom> result) { OWLObjectPropertyCharacteristicAxiom axiom = df.getOWLTransitiveObjectPropertyAxiom(p); if (r.isEntailmentCheckingSupported(axiom.getAxiomType()) && r.isEntailed(axiom) && !triviallyTransitiveCheck(p, r, df)) { result.add(axiom); } }
protected static void addTransitiveAxiomIfEntailed(OWLObjectProperty p, OWLReasoner r, OWLDataFactory df, Set<OWLObjectPropertyCharacteristicAxiom> result) { OWLObjectPropertyCharacteristicAxiom axiom = df.getOWLTransitiveObjectPropertyAxiom(p); if (r.isEntailmentCheckingSupported(axiom.getAxiomType()) && r.isEntailed(axiom) && !triviallyTransitiveCheck(p, r, df)) { result.add(axiom); } }
protected static void addTransitiveAxiomIfEntailed(OWLObjectProperty p, OWLReasoner r, OWLDataFactory df, Set<OWLObjectPropertyCharacteristicAxiom> result) { OWLObjectPropertyCharacteristicAxiom axiom = df.getOWLTransitiveObjectPropertyAxiom(p); if (r.isEntailmentCheckingSupported(axiom.getAxiomType()) && r.isEntailed(axiom) && !triviallyTransitiveCheck(p, r, df)) { result.add(axiom); } }