public class InferredClassAssertionAxiomGenerator extends InferredIndividualAxiomGenerator<OWLClassAssertionAxiom>
OWLClassAssertionsAxiom
s for inferred individual types.Constructor and Description |
---|
InferredClassAssertionAxiomGenerator() |
Modifier and Type | Method and Description |
---|---|
protected void |
addAxioms(OWLNamedIndividual entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
java.util.Set<OWLClassAssertionAxiom> result)
Adds inferred axioms to a results set.
|
java.lang.String |
getLabel() |
getEntities
createAxioms, getAllEntities, toString
public InferredClassAssertionAxiomGenerator()
protected void addAxioms(OWLNamedIndividual entity, OWLReasoner reasoner, OWLDataFactory dataFactory, java.util.Set<OWLClassAssertionAxiom> result)
InferredEntityAxiomGenerator
addAxioms
in class InferredEntityAxiomGenerator<OWLNamedIndividual,OWLClassAssertionAxiom>
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()