org.semanticweb.owlapi.util
Interface InferredAxiomGenerator<A extends OWLAxiom>

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.c

Method Summary

java.util.Set<A>	createAxioms(OWLOntologyManager manager, OWLReasoner reasoner)
java.lang.String	getLabel()

Method Detail

createAxioms

java.util.Set<A> createAxioms(OWLOntologyManager manager,
                              OWLReasoner reasoner)

getLabel

java.lang.String getLabel()