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

Set<org.semanticweb.owlapi.model.OWLAxiom>	getExplanation(org.semanticweb.owlapi.model.OWLClassExpression unsatClass) Get a single explanation for an arbitrary class expression, or empty set if the given expression is satisfiable.
org.semanticweb.owlapi.model.OWLOntology	getOntology()
org.semanticweb.owlapi.model.OWLOntologyManager	getOntologyManager()
org.semanticweb.owlapi.reasoner.OWLReasoner	getReasoner()
org.semanticweb.owlapi.reasoner.OWLReasonerFactory	getReasonerFactory()

Method Detail

getOntologyManager

org.semanticweb.owlapi.model.OWLOntologyManager getOntologyManager()

Returns:

the ontology manager for this explanation generator.

getOntology

org.semanticweb.owlapi.model.OWLOntology getOntology()

Returns:

the ontology according to which the explanations are generated

getReasoner

org.semanticweb.owlapi.reasoner.OWLReasoner getReasoner()

Returns:

the reasoner associated with this generator.

getReasonerFactory

org.semanticweb.owlapi.reasoner.OWLReasonerFactory getReasonerFactory()

Returns:

the reasoner factory used to create fresh reasoners.

getExplanation

Set<org.semanticweb.owlapi.model.OWLAxiom> getExplanation(org.semanticweb.owlapi.model.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.