Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Interface
com.clarkparsia.explanation.ExplanationGenerator

Packages that use ExplanationGenerator
com.clarkparsia.explanation   
 

Uses of ExplanationGenerator in com.clarkparsia.explanation
 

Subinterfaces of ExplanationGenerator in com.clarkparsia.explanation
 interface MultipleExplanationGenerator
          

Description: The explanation generator interface for returning all the explanations for an unsatisfiable class.
 

Classes in com.clarkparsia.explanation that implement ExplanationGenerator
 class DefaultExplanationGenerator
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 24-Jan-2008
 class HSTExplanationGenerator
          

Description: An implementation of MultipleExplanationGenerator interface using Reiter's Hitting Set Tree (HST) algorithm as described in Aditya Kalyanpur's thesis.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES