|
||||||||||
| 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 | |||||||||