- Type Parameters:
A - the axiom type
- All Known Implementing Classes:
- InferredClassAssertionAxiomGenerator, InferredClassAxiomGenerator, InferredDataPropertyAxiomGenerator, InferredDataPropertyCharacteristicAxiomGenerator, InferredDisjointClassesAxiomGenerator, InferredEntityAxiomGenerator, InferredEquivalentClassAxiomGenerator, InferredEquivalentDataPropertiesAxiomGenerator, InferredEquivalentObjectPropertyAxiomGenerator, InferredIndividualAxiomGenerator, InferredInverseObjectPropertiesAxiomGenerator, InferredObjectPropertyAxiomGenerator, InferredObjectPropertyCharacteristicAxiomGenerator, InferredPropertyAssertionGenerator, InferredSubClassAxiomGenerator, InferredSubDataPropertyAxiomGenerator, InferredSubObjectPropertyAxiomGenerator
public interface InferredAxiomGenerator<A extends OWLAxiom>
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007
Given a reasoner, implementations of this interface generate axioms that
represent inferred information. For example, an implementation might generate
the necessary subclass axioms that represent the inferred class subsumption
hierarchy within the reasoner. It is assumed that axioms generated reflect
the inferences drawn from the ontologies which were loaded into the reasoner.