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

Packages that use ReasoningKernel

Package	Description
uk.ac.manchester.cs.jfact

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)