com.clarkparsia.owlapi.explanation
Interface SingleExplanationGenerator

All Known Subinterfaces:

MultipleExplanationGenerator, TransactionAwareSingleExpGen

All Known Implementing Classes:

BlackBoxExplanation, HSTExplanationGenerator, SingleExplanationGeneratorImpl

public interface SingleExplanationGenerator

Description: The explanation generator interface for returning a single explanation for an unsatisfiable class. Use SatisfiabilityConverter to convert an arbitrary axiom into a class description that can be used to generate explanations for that axiom.

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Method Summary

java.util.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 ontologies according to which the explanations are generated
OWLOntologyManager	getOntologyManager() Get the ontology manager for this explanation generator.
OWLReasoner	getReasoner() Returns the reasoner associated with this generator.
OWLReasonerFactory	getReasonerFactory() Returns the reasoner factory used to create fresh reasoners.

Method Detail

getOntologyManager

OWLOntologyManager getOntologyManager()

Get the ontology manager for this explanation generator.

getOntology

OWLOntology getOntology()

Gets the ontologies according to which the explanations are generated

Returns:

ont

getReasoner

OWLReasoner getReasoner()

Returns the reasoner associated with this generator.

getReasonerFactory

OWLReasonerFactory getReasonerFactory()

Returns the reasoner factory used to create fresh reasoners.

getExplanation

java.util.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.