com.clarkparsia.owlapi.explanation

Interface SingleExplanationGenerator

All Known Subinterfaces:

MultipleExplanationGenerator, TransactionAwareSingleExpGen

All Known Implementing Classes:

BlackBoxExplanation, HSTExplanationGenerator, SingleExplanationGeneratorImpl

public interface SingleExplanationGenerator

Explanation generator for a single explanation.

Method Summary

Modifier and Type	Method and Description
void	dispose() dispose of the reasoners and ontologies.
Set<OWLAxiom>	getExplanation(OWLClassExpression unsatClass) Get a single explanation for an arbitrary class expression, or empty set if the given expression is satisfiable.
OWLOntology	getOntology() Gets the ontology.
OWLOntologyManager	getOntologyManager() Gets the ontology manager.
OWLReasoner	getReasoner() Gets the reasoner.
OWLReasonerFactory	getReasonerFactory() Gets the reasoner factory.

Method Detail

getOntologyManager

OWLOntologyManager getOntologyManager()

Gets the ontology manager.

Returns:

the ontology manager for this explanation generator.

getOntology

OWLOntology getOntology()

Gets the ontology.

Returns:

the ontology according to which the explanations are generated

dispose

void dispose()

dispose of the reasoners and ontologies.

getReasoner

OWLReasoner getReasoner()

Gets the reasoner.

Returns:

the reasoner associated with this generator.

getReasonerFactory

OWLReasonerFactory getReasonerFactory()

Gets the reasoner factory.

Returns:

the reasoner factory used to create fresh reasoners.

getExplanation

Set<OWLAxiom> getExplanation(OWLClassExpression unsatClass)

Get a single explanation for an arbitrary class expression, or empty set if the given expression is satisfiable.

Parameters:

unsatClass - arbitrary class expression whose unsatisfiability will be explained

Returns:

set of axioms explaining the unsatisfiability of given class expression, or empty set if the given expression is satisfiable.