org.semanticweb.owl.util
Class InferredEntityAxiomGenerator<E extends OWLEntity,A extends OWLAxiom>
java.lang.Object
org.semanticweb.owl.util.InferredEntityAxiomGenerator<E,A>
- All Implemented Interfaces:
- InferredAxiomGenerator<A>
- Direct Known Subclasses:
- InferredClassAxiomGenerator, InferredDataPropertyAxiomGenerator, InferredIndividualAxiomGenerator, InferredObjectPropertyAxiomGenerator
public abstract class InferredEntityAxiomGenerator<E extends OWLEntity,A extends OWLAxiom>
- extends java.lang.Object
- implements InferredAxiomGenerator<A>
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007
Generates axioms which relate to inferred information for a specific entity.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
InferredEntityAxiomGenerator
public InferredEntityAxiomGenerator()
createAxioms
public java.util.Set<A> createAxioms(OWLOntologyManager manager,
OWLReasoner reasoner)
throws OWLReasonerException
- Specified by:
createAxioms
in interface InferredAxiomGenerator<A extends OWLAxiom>
- Throws:
OWLReasonerException
addAxioms
protected abstract void addAxioms(E entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
java.util.Set<A> result)
throws OWLReasonerException
- Adds inferred axioms to a results set. The inferred axioms are generated for the specific entity.
- 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
getEntities
protected abstract java.util.Set<E> getEntities(OWLOntology ont)
- Gets the entities from the specified ontology that this generator processes
- Parameters:
ont
- The ontology from which entities are to be retrieved.
- Returns:
- A set of entities.
getAllEntities
protected java.util.Set<E> getAllEntities(OWLReasoner reasoner)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object