org.semanticweb.owlapi.util
Class InferredDataPropertyCharacteristicAxiomGenerator
java.lang.Object
org.semanticweb.owlapi.util.InferredEntityAxiomGenerator<OWLDataProperty,A>
org.semanticweb.owlapi.util.InferredDataPropertyAxiomGenerator<OWLDataPropertyCharacteristicAxiom>
org.semanticweb.owlapi.util.InferredDataPropertyCharacteristicAxiomGenerator
- All Implemented Interfaces:
- InferredAxiomGenerator<OWLDataPropertyCharacteristicAxiom>
public class InferredDataPropertyCharacteristicAxiomGenerator
- extends InferredDataPropertyAxiomGenerator<OWLDataPropertyCharacteristicAxiom>
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007
Generates inferred data property characteristics.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
InferredDataPropertyCharacteristicAxiomGenerator
public InferredDataPropertyCharacteristicAxiomGenerator()
addAxioms
protected void addAxioms(OWLDataProperty entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
java.util.Set<OWLDataPropertyCharacteristicAxiom> 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,OWLDataPropertyCharacteristicAxiom>
- 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()