Package org.semanticweb.owlapi.util

Interface InferredAxiomGenerator<A extends OWLAxiom>

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

  • Method Details

    • createAxioms

      Set<A> createAxioms(OWLDataFactory df, OWLReasoner reasoner)
      Parameters:
      df - data factory
      reasoner - the reasoner to use
      Returns:
      the set of axioms generated

    • getLabel

      String getLabel()
      Returns:
      the label