|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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: |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |