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

Packages that use Ontology

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

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

Methods in uk.ac.manchester.cs.jfact that return Ontology

Modifier and Type	Method and Description
Ontology	JFactReasoner.getOntology()

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

Constructor and Description
AxiomTranslator(Ontology o, org.semanticweb.owlapi.model.OWLDataFactory df, TranslationMachinery tr)
DeclarationVisitorEx(Ontology o, org.semanticweb.owlapi.model.OWLDataFactory df, TranslationMachinery tr)

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

Methods in uk.ac.manchester.cs.jfact.kernel that return Ontology

Modifier and Type	Method and Description
Ontology	ReasoningKernel.getOntology()

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

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)

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

Constructor and Description
OntologyBasedModularizer(Ontology ontology, TModularizer mod)