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
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()
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

getReasoner

OWLReasoner getReasoner()

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.