Uses of Package
com.clarkparsia.explanation

Packages that use com.clarkparsia.explanation

com.clarkparsia.explanation

Classes in com.clarkparsia.explanation used by com.clarkparsia.explanation

ExplanationGenerator

Title: ExplanationGenerator

MultipleExplanationGenerator

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

SingleExplanationGenerator

Description: The explanation generator interface for returning a single explanation for an unsatisfiable class.

SingleExplanationGeneratorImpl

Title: SingleExplanationGeneratorImpl

TransactionAwareSingleExpGen
Title: Transaction Aware Single Explanation Generator