Uses of Class
uk.ac.manchester.cs.jfact.kernel.Ontology

Packages that use Ontology

Package	Description
uk.ac.manchester.cs.jfact.elf
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.split
uk.ac.manchester.cs.jfact.visitors

Uses of Ontology in uk.ac.manchester.cs.jfact.elf

Methods in uk.ac.manchester.cs.jfact.elf with parameters of type Ontology

Modifier and Type	Method and Description
void	ELFNormalizer.visitOntology(Ontology ontology)
void	ELFAxiomChecker.visitOntology(Ontology ontology)

Constructors in uk.ac.manchester.cs.jfact.elf with parameters of type Ontology

Constructor and Description
ELFReasoner(JFactReasonerConfiguration c, Ontology ont) c'tor: take the ontology and init internal structures

Uses of Ontology in uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type Ontology

Modifier and Type	Method and Description
void	OntologyLoader.visitOntology(Ontology ontology) load ontology to a given KB

Uses of Ontology in uk.ac.manchester.cs.jfact.split

Fields in uk.ac.manchester.cs.jfact.split declared as Ontology

Modifier and Type	Field and Description
protected Ontology	TAxiomSplitter.O

Methods in uk.ac.manchester.cs.jfact.split with parameters of type Ontology

Modifier and Type	Method and Description
AOStructure	AtomicDecomposer.getAOS(Ontology O, ModuleType t) get the atomic structure for given module type T
void	TSignatureUpdater.visitOntology(Ontology ontology) load ontology to a given KB
void	SyntacticLocalityChecker.visitOntology(Ontology ontology) load ontology to a given KB
void	SemanticLocalityChecker.visitOntology(Ontology ontology) load ontology to a given KB

Constructors in uk.ac.manchester.cs.jfact.split with parameters of type Ontology

Constructor and Description
TAxiomSplitter(JFactReasonerConfiguration config, Ontology o)

Uses of Ontology in uk.ac.manchester.cs.jfact.visitors

Methods in uk.ac.manchester.cs.jfact.visitors with parameters of type Ontology

Modifier and Type	Method and Description
A	DLAxiomVisitorExAdapter.visitOntology(Ontology ontology)
O	DLAxiomVisitorEx.visitOntology(Ontology ontology)
void	DLAxiomVisitorAdapter.visitOntology(Ontology ontology)
void	DLAxiomVisitor.visitOntology(Ontology ontology)