Package com.clarkparsia.modularity

Interface Summary

Interface	Description
ModuleExtractor	Title:

Class Summary

Class	Description
AbstractModuleExtractor	Title:
AxiomBasedModuleExtractor	Title:
ChangeTypeDetector	Detects what kind of type of a change (i.e., TBox, RBox or ABox change) an addition or a deletion of an OWLAxiom introduces.
EntailmentChecker	Title:
GraphBasedModuleExtractor
GraphBuilder
IncremantalReasonerFactory	Title:
IncrementalReasoner	Title:
IncrementalReasonerConfiguration
ModularityUtils
ModuleExtractorFactory	Title:
OntologyDiff	Computes differences between two ontologies, sets of ontologies or collections of axioms.