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 Summary

Constructors

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

Method Summary

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(OWLDataFactory df, 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

equals, 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(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.