public class InferredObjectPropertyCharacteristicAxiomGenerator extends InferredObjectPropertyAxiomGenerator<OWLObjectPropertyCharacteristicAxiom>
Constructor and Description |
---|
InferredObjectPropertyCharacteristicAxiomGenerator() |
Modifier and Type | Method and Description |
---|---|
protected void |
addAxioms(OWLObjectProperty entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
java.util.Set<OWLObjectPropertyCharacteristicAxiom> result)
Adds inferred axioms to a results set.
|
protected void |
addIfEntailed(OWLObjectPropertyCharacteristicAxiom axiom,
OWLReasoner reasoner,
java.util.Set<OWLObjectPropertyCharacteristicAxiom> result) |
java.lang.String |
getLabel() |
getEntities
createAxioms, getAllEntities, toString
public InferredObjectPropertyCharacteristicAxiomGenerator()
protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, java.util.Set<OWLObjectPropertyCharacteristicAxiom> result)
InferredEntityAxiomGenerator
addAxioms
in class InferredEntityAxiomGenerator<OWLObjectProperty,OWLObjectPropertyCharacteristicAxiom>
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.protected void addIfEntailed(OWLObjectPropertyCharacteristicAxiom axiom, OWLReasoner reasoner, java.util.Set<OWLObjectPropertyCharacteristicAxiom> result)
public java.lang.String getLabel()