com.clarkparsia.explanation
Interface ExplanationGenerator

All Known Subinterfaces:

MultipleExplanationGenerator

All Known Implementing Classes:

DefaultExplanationGenerator, HSTExplanationGenerator

public interface ExplanationGenerator

Title: ExplanationGenerator

Description: The explanation generator interface for returning one or more explanations for an unsatisfiable class. This is the minimal interface an explanation generator should implement

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Method Summary

java.util.Set<OWLAxiom>	getExplanation(OWLDescription unsatClass) Returns a single explanation for the given unsatisfiable class.
java.util.Set<java.util.Set<OWLAxiom>>	getExplanations(OWLDescription unsatClass) Returns all the explanations for the given unsatisfiable class.
java.util.Set<java.util.Set<OWLAxiom>>	getExplanations(OWLDescription unsatClass, int maxExplanations) Return a specified number of explanations for the given unsatisfiable class.

Method Detail

getExplanation

java.util.Set<OWLAxiom> getExplanation(OWLDescription 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

java.util.Set<java.util.Set<OWLAxiom>> getExplanations(OWLDescription 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

java.util.Set<java.util.Set<OWLAxiom>> getExplanations(OWLDescription unsatClass,
                                                       int maxExplanations)
                                                       throws OWLException

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

Throws:

OWLException