| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact | |
| uk.ac.manchester.cs.jfact.kernel | |
| uk.ac.manchester.cs.jfact.kernel.dl.interfaces | |
| uk.ac.manchester.cs.jfact.split |
| Class and Description |
|---|
| ModuleType |
| TOntologyAtom |
| Class and Description |
|---|
| KnowledgeExplorer |
| ModuleType |
| TModularizer
class to create modules of an ontology wrt module type
|
| TOntologyAtom |
| TSignature
class to hold the signature of a module
|
| TSplitVars
set of all known var splits with access by name
|
| Class and Description |
|---|
| TSignature
class to hold the signature of a module
|
| Class and Description |
|---|
| AOStructure
atomical ontology structure
|
| LocalityChecker |
| ModuleType |
| SigAccessor
helper class to set signature and locality class
|
| SigIndex |
| TAxiomSplitter.TRecord
keep the single rename: named concept C in an axiom (C=D or C[=D) into a
new name C' and new axiom C'=D or C'[=D
|
| TModularizer
class to create modules of an ontology wrt module type
|
| TOntologyAtom |
| TSignature
class to hold the signature of a module
|
| TSplitRules.TSplitRule
class to check whether there is a need to unsplit splitted var
|
| TSplitVar
this is to keep the track of new vars/axioms for C >< C0, C1, ..., Cn
|
| TSplitVar.Entry |
| TSplitVars
set of all known var splits with access by name
|
Copyright © 2013 The University of Manchester. All Rights Reserved.