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