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

Packages that use uk.ac.manchester.cs.jfact.split

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

Classes in uk.ac.manchester.cs.jfact.split used by uk.ac.manchester.cs.jfact

Class and Description
ModuleType module type
TOntologyAtom ontology atom

Classes in uk.ac.manchester.cs.jfact.split used by uk.ac.manchester.cs.jfact.kernel

Class and Description
ModuleType module type
OntologyBasedModularizer modularizer
TOntologyAtom ontology atom
TSignature class to hold the signature of a module

Classes in uk.ac.manchester.cs.jfact.split used by uk.ac.manchester.cs.jfact.kernel.dl.interfaces

Class and Description
TOntologyAtom ontology atom
TSignature class to hold the signature of a module

Classes in uk.ac.manchester.cs.jfact.split used by uk.ac.manchester.cs.jfact.split

Class and Description
AOStructure atomical ontology structure
BotEquivalenceEvaluator check whether class expressions are equivalent to bottom wrt given locality class
GeneralSyntacticLocalityChecker syntactic locality checker for DL axioms
LocalityChecker locality checker
ModuleType module type
SigAccessor helper class to set signature and locality class
SigIndex signature index
TModularizer class to create modules of an ontology wrt module type
TOntologyAtom ontology atom
TSignature class to hold the signature of a module