Uses of Class
uk.ac.manchester.cs.jfact.TranslationMachinery

Packages that use TranslationMachinery

Package	Description
uk.ac.manchester.cs.jfact

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

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

Constructor and Description
AxiomTranslator(Ontology o, org.semanticweb.owlapi.model.OWLDataFactory df, TranslationMachinery tr)
ClassExpressionTranslator(ExpressionCache em, org.semanticweb.owlapi.model.OWLDataFactory df, TranslationMachinery tr)
ComplexObjectPropertyTranslator(ExpressionCache em, org.semanticweb.owlapi.model.OWLDataFactory df, TranslationMachinery tr)
DataPropertyTranslator(ExpressionCache em, org.semanticweb.owlapi.model.OWLDataFactory df, TranslationMachinery tr)
DataRangeTranslator(ExpressionCache em, org.semanticweb.owlapi.model.OWLDataFactory df, TranslationMachinery tr, DatatypeFactory f)
DeclarationVisitorEx(Ontology o, org.semanticweb.owlapi.model.OWLDataFactory df, TranslationMachinery tr)
EntailmentChecker(ReasoningKernel k, org.semanticweb.owlapi.model.OWLDataFactory df, TranslationMachinery tr)
IndividualTranslator(ExpressionCache em, org.semanticweb.owlapi.model.OWLDataFactory df, TranslationMachinery tr)
ObjectPropertyTranslator(ExpressionCache em, org.semanticweb.owlapi.model.OWLDataFactory df, TranslationMachinery tr)