Package uk.ac.manchester.cs.jfact.split

Interface Summary

Interface	Description
LocalityChecker	locality checker

Class Summary

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
ExpressionFromAxiomBuilder
ExtendedSyntacticLocalityChecker	syntactic locality checker for DL axioms
GeneralSyntacticLocalityChecker	syntactic locality checker for DL axioms
KnowledgeExplorer	knowledge explorer
OntologyBasedModularizer	modularizer
SemanticLocalityChecker	semantic locality checker for DL axioms
SigAccessor	helper class to set signature and locality class
SigIndex	signature index
SplitVarEntry	split var entry
SyntacticLocalityChecker	syntactic locality checker for DL axioms
TModularizer	class to create modules of an ontology wrt module type
TOntologyAtom	ontology atom
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

Enum Summary

Enum	Description
ModuleType	module type