uk.ac.manchester.cs.jfact.split

Interfaces

• LocalityChecker

Classes

• AOStructure
• AtomicDecomposer
• BotEquivalenceEvaluator
• KnowledgeExplorer
• SemanticLocalityChecker
• SigAccessor
• SigIndex
• SyntacticLocalityChecker
• TAxiomSplitter
• TModularizer
• TOntologyAtom
• TopEquivalenceEvaluator
• TSignature
• TSignatureUpdater
• TSplitRules
• TSplitVar
• TSplitVars

Enums

• ModuleType