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

Packages that use ReasoningKernel

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

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

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

Constructor and Description
EntailmentChecker(ReasoningKernel k, org.semanticweb.owlapi.model.OWLDataFactory df, TranslationMachinery tr)
TranslationMachinery(ReasoningKernel kernel, org.semanticweb.owlapi.model.OWLDataFactory df, DatatypeFactory factory)

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

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

Modifier and Type	Method and Description
static TModularizer	OntologyBasedModularizer.buildTModularizer(boolean useSemantic, ReasoningKernel kernel)

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

Constructor and Description
SemanticLocalityChecker(ReasoningKernel k) init c'tor