| Interface | Description |
|---|---|
| LocalityChecker |
| Class | Description |
|---|---|
| AOStructure |
atomical ontology structure
|
| AtomicDecomposer |
atomical decomposer of the ontology
|
| BotEquivalenceEvaluator |
check whether class expressions are equivalent to bottom wrt given locality
class
|
| KnowledgeExplorer | |
| SemanticLocalityChecker |
semantic locality checker for DL axioms
|
| SigAccessor |
helper class to set signature and locality class
|
| SigIndex | |
| SyntacticLocalityChecker |
syntactic locality checker for DL axioms
|
| TAxiomSplitter | |
| TModularizer |
class to create modules of an ontology wrt module type
|
| TOntologyAtom | |
| TopEquivalenceEvaluator |
check whether class expressions are equivalent to top wrt given locality
class
|
| TSignature |
class to hold the signature of a module
|
| TSignatureUpdater |
update signature by adding the signature of a given axiom to it
|
| TSplitRules |
all split rules: vector of rules with init and access methods
|
| TSplitVar |
this is to keep the track of new vars/axioms for C >< C0, C1, ..., Cn
|
| TSplitVars |
set of all known var splits with access by name
|
| Enum | Description |
|---|---|
| ModuleType |
Copyright © 2013 The University of Manchester. All Rights Reserved.