Package com.clarkparsia.modularity

Interface Summary
ModuleExtractor Title:
 

Class Summary
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:
IncrementalClassifier Title:
IncrementalClassifier.PersistedState A class that has access to all the internal parts of the IncrementalClassifier that has to be persisted when saving the state to the stream.
ModularityUtils  
ModuleExtractorFactory Title:
OntologyDiff Computes differences between two ontologies, sets of ontologies or collections of axioms.
PelletIncremantalReasonerFactory Title:
 



Copyright © 2004 Evren Sirin. All Rights Reserved.