org.semanticweb.owl.util
Class InferredInverseObjectPropertiesAxiomGenerator
java.lang.Object
org.semanticweb.owl.util.InferredEntityAxiomGenerator<OWLObjectProperty,A>
org.semanticweb.owl.util.InferredObjectPropertyAxiomGenerator<OWLInverseObjectPropertiesAxiom>
org.semanticweb.owl.util.InferredInverseObjectPropertiesAxiomGenerator
- All Implemented Interfaces:
- InferredAxiomGenerator<OWLInverseObjectPropertiesAxiom>
public class InferredInverseObjectPropertiesAxiomGenerator
- extends InferredObjectPropertyAxiomGenerator<OWLInverseObjectPropertiesAxiom>
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 |
InferredInverseObjectPropertiesAxiomGenerator
public InferredInverseObjectPropertiesAxiomGenerator()
addAxioms
protected void addAxioms(OWLObjectProperty entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
java.util.Set<OWLInverseObjectPropertiesAxiom> result)
throws OWLReasonerException
- 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<OWLObjectProperty,OWLInverseObjectPropertiesAxiom>
- 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.
- Throws:
OWLReasonerException
getLabel
public java.lang.String getLabel()