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

Modifier and Type	Method and Description
Set<OWLAxiom>	getExplanation(OWLClassExpression unsatClass) Returns a single explanation for the given unsatisfiable class.
Set<Set<OWLAxiom>>	getExplanations(OWLClassExpression unsatClass) Returns all the explanations for the given unsatisfiable class.
Set<Set<OWLAxiom>>	getExplanations(OWLClassExpression unsatClass, int maxExplanations) Return a specified number of explanations for the given unsatisfiable class.

Method Detail

getExplanation

@Nonnull
Set<OWLAxiom> getExplanation(@Nonnull
                                      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

@Nonnull
Set<Set<OWLAxiom>> getExplanations(@Nonnull
                                            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

@Nonnull
Set<Set<OWLAxiom>> getExplanations(@Nonnull
                                            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