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.

Author:

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

Constructor Summary

Constructors

Constructor and Description
InferredOntologyGenerator(OWLReasoner reasoner)
InferredOntologyGenerator(OWLReasoner reasoner, List<InferredAxiomGenerator<? extends OWLAxiom>> axiomGenerators)

Method Summary

Methods

Modifier and Type	Method and Description
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.
List<InferredAxiomGenerator<?>>	getAxiomGenerators()
void	removeGenerator(InferredAxiomGenerator<?> generator) Removes a generator.

Methods inherited from class java.lang.Object

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

Constructor Detail

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 Detail

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

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:

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