protected static void addTransitiveAxiomIfEntailed(
@Nonnull OWLObjectProperty property, OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLObjectPropertyCharacteristicAxiom> result) {
OWLObjectPropertyCharacteristicAxiom axiom = dataFactory
.getOWLTransitiveObjectPropertyAxiom(property);
if (reasoner.isEntailmentCheckingSupported(axiom.getAxiomType())
&& reasoner.isEntailed(axiom)) {
if (!triviallyTransitiveCheck(property, reasoner, dataFactory)) {
result.add(axiom);
}
}