Package org.semanticweb.owlapi.util

Class InferredOntologyGenerator

java.lang.Object
org.semanticweb.owlapi.util.InferredOntologyGenerator
public class InferredOntologyGenerator extends Object
Generates an ontology based on inferred axioms which are essentially supplied by a reasoner. The generator can be configured with InferredAxiomGenerators which generate specific kinds of axioms e.g. subclass axioms.
Since:
2.1.0
Author:
Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

  • Constructor Details

    • InferredOntologyGenerator

      public InferredOntologyGenerator(OWLReasoner reasoner, List<InferredAxiomGenerator<? extends OWLAxiom>> axiomGenerators)
      Parameters:
      reasoner - the reasoner to use
      axiomGenerators - the axiom generators to use

    • InferredOntologyGenerator

      public InferredOntologyGenerator(OWLReasoner reasoner)
      Parameters:
      reasoner - the reasoner to use

  • Method Details

    • getAxiomGenerators

      public List<InferredAxiomGenerator<?>> getAxiomGenerators()
      Returns:
      the axiom generators

    • addGenerator

      public void addGenerator(InferredAxiomGenerator<?> generator)
      Adds a generator if it isn't already in the list of generators.
      Parameters:
      generator - The generator to be added.

    • removeGenerator

      public void removeGenerator(InferredAxiomGenerator<?> generator)
      Removes a generator.
      Parameters:
      generator - the generator to be removed

    • fillOntology

      public void fillOntology(OWLDataFactory df, OWLOntology ontology)
      Adds 'inferred axioms' to an ontology using the generators that have been registered with this InferredAxiomGenerator.
      Parameters:
      df - data factory.
      ontology - The ontology which the inferred axioms will be added to
      Throws:
      OWLOntologyChangeException - If there was a problem adding the inferred axioms to the specified ontology.