- 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>
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.
- Since:
- 2.1.0
- Author:
- Matthew Horridge, The University Of Manchester, Bio-Health
Informatics Group