addAxioms
protected void addAxioms(OWLObjectProperty entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
java.util.Set<OWLEquivalentObjectPropertiesAxiom> result)
Adds inferred axioms to a results set. The inferred axioms are generated for the specific entity.
- Specified by:
addAxioms
in class InferredEntityAxiomGenerator<OWLObjectProperty,OWLEquivalentObjectPropertiesAxiom>
- Parameters:
entity
- The entityreasoner
- The reasoner that has inferred the new axiomsdataFactory
- A data factory which should be used to create the new axiomsresult
- The results set, which the new axioms should be added to.