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