org.semanticweb.owl.util
Class InferredOntologyGenerator

java.lang.Object
  org.semanticweb.owl.util.InferredOntologyGenerator

public class InferredOntologyGenerator
extends java.lang.Object

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

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.

Constructor Summary

InferredOntologyGenerator(OWLReasoner reasoner)

InferredOntologyGenerator(OWLReasoner reasoner, java.util.List<InferredAxiomGenerator<? extends OWLAxiom>> axiomGenerators)

Method Summary

void	addGenerator(InferredAxiomGenerator generator) Adds a generator if it isn't already in the list of generators
void	fillOntology(OWLOntologyManager manager, OWLOntology ontology) Adds 'inferred axioms' to an ontology using the generators that have been registered with this InferredAxiomGenerator
java.util.List<InferredAxiomGenerator>	getAxiomGenerators()
void	removeGenerator(InferredAxiomGenerator generator) Removes a generator

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InferredOntologyGenerator

public InferredOntologyGenerator(OWLReasoner reasoner,
                                 java.util.List<InferredAxiomGenerator<? extends OWLAxiom>> axiomGenerators)

InferredOntologyGenerator

public InferredOntologyGenerator(OWLReasoner reasoner)

Method Detail

getAxiomGenerators

public java.util.List<InferredAxiomGenerator> getAxiomGenerators()

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(OWLOntologyManager manager,
                         OWLOntology ontology)
                  throws InferredAxiomGeneratorException,
                         OWLOntologyChangeException,
                         OWLReasonerException

Adds 'inferred axioms' to an ontology using the generators that have been registered with this InferredAxiomGenerator

Parameters:

manager - The manager which can be used to obtain a data factory and apply changes.

ontology - The ontology which the inferred axioms will be added to

Throws:

InferredAxiomGeneratorException - if some inferred axioms could not be generated because the reasoner that is used to generate the axioms doesn't support the kinds of queries required to generate the axiom.

OWLReasonerException - If there was a problem with querying the reasoner.

OWLOntologyChangeException - If there was a problem adding the inferred axioms to the specified ontology.