org.semanticweb.owlapi.util
Class InferredEquivalentDataPropertiesAxiomGenerator
java.lang.Object
org.semanticweb.owlapi.util.InferredEntityAxiomGenerator<OWLDataProperty,A>
org.semanticweb.owlapi.util.InferredDataPropertyAxiomGenerator<OWLEquivalentDataPropertiesAxiom>
org.semanticweb.owlapi.util.InferredEquivalentDataPropertiesAxiomGenerator
- All Implemented Interfaces:
- InferredAxiomGenerator<OWLEquivalentDataPropertiesAxiom>
public class InferredEquivalentDataPropertiesAxiomGenerator
- extends InferredDataPropertyAxiomGenerator<OWLEquivalentDataPropertiesAxiom>
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
InferredEquivalentDataPropertiesAxiomGenerator
public InferredEquivalentDataPropertiesAxiomGenerator()
addAxioms
protected void addAxioms(OWLDataProperty entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
java.util.Set<OWLEquivalentDataPropertiesAxiom> result)
- Description copied from class:
InferredEntityAxiomGenerator
- Adds inferred axioms to a results set. The inferred axioms are generated for the specific entity.
- Specified by:
addAxioms
in class InferredEntityAxiomGenerator<OWLDataProperty,OWLEquivalentDataPropertiesAxiom>
- 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.
getLabel
public java.lang.String getLabel()