com.clarkparsia.owlapi.explanation
Interface ExplanationGenerator

All Known Subinterfaces:

MultipleExplanationGenerator

All Known Implementing Classes:

DefaultExplanationGenerator, HSTExplanationGenerator

public interface ExplanationGenerator

a generator for explanations

Method Summary

Set<org.semanticweb.owlapi.model.OWLAxiom>	getExplanation(org.semanticweb.owlapi.model.OWLClassExpression unsatClass) Returns a single explanation for the given unsatisfiable class.
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>>	getExplanations(org.semanticweb.owlapi.model.OWLClassExpression unsatClass) Returns all the explanations for the given unsatisfiable class.
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>>	getExplanations(org.semanticweb.owlapi.model.OWLClassExpression unsatClass, int maxExplanations) Return a specified number of explanations for the given unsatisfiable class.

Method Detail

getExplanation

Set<org.semanticweb.owlapi.model.OWLAxiom> getExplanation(org.semanticweb.owlapi.model.OWLClassExpression unsatClass)

Returns a single explanation for the given unsatisfiable class.

Parameters:

unsatClass - The class that is unsatisfiable for which an explanation will be generated.

Returns:

A single explanation for the given unsatisfiable class, or empty set if the concept is satisfiable

getExplanations

Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> getExplanations(org.semanticweb.owlapi.model.OWLClassExpression unsatClass)

Returns all the explanations for the given unsatisfiable class.

Parameters:

unsatClass - The class that is unsatisfiable for which an explanation will be generated.

Returns:

All explanations for the given unsatisfiable class, or an empty set if the concept is satisfiable

getExplanations

Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> getExplanations(org.semanticweb.owlapi.model.OWLClassExpression unsatClass,
                                                                int maxExplanations)

Return a specified number of explanations for the given unsatisfiable class. A smaller number of explanations can be returned if there are not as many explanations for the given concept. The returned set will be empty if the given class is satisfiable,

Parameters:

unsatClass - The class that is unsatisfiable for which an explanation will be generated.

maxExplanations - Maximum number of explanations requested, or 0 to get all the explanations

Returns:

A specified number of explanations for the given unsatisfiable class, or an empty set if the concept is satisfiable