Uses of Interface
edu.stanford.smi.protegex.owl.inference.dig.translator.DIGTranslator

Packages that use DIGTranslator

edu.stanford.smi.protegex.owl.inference.dig.reasoner
edu.stanford.smi.protegex.owl.inference.dig.translator
edu.stanford.smi.protegex.owl.inference.protegeowl.task

Uses of DIGTranslator in edu.stanford.smi.protegex.owl.inference.dig.reasoner

Fields in edu.stanford.smi.protegex.owl.inference.dig.reasoner declared as DIGTranslator

private DIGTranslator

DefaultDIGReasoner.translator

Uses of DIGTranslator in edu.stanford.smi.protegex.owl.inference.dig.translator

Classes in edu.stanford.smi.protegex.owl.inference.dig.translator that implement DIGTranslator

class

DefaultDIGTranslator User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Jun 28, 2004 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm

Methods in edu.stanford.smi.protegex.owl.inference.dig.translator that return DIGTranslator

DIGTranslator

DIGTranslatorFactory.createTranslator() Creates an instance of an implementation of DIGTranslator

Uses of DIGTranslator in edu.stanford.smi.protegex.owl.inference.protegeowl.task

Fields in edu.stanford.smi.protegex.owl.inference.protegeowl.task declared as DIGTranslator

private DIGTranslator

AbstractReasonerTask.translator

Methods in edu.stanford.smi.protegex.owl.inference.protegeowl.task that return DIGTranslator

protected DIGTranslator

AbstractReasonerTask.getTranslator() Gets the translator that should be used to convert Protege-OWL to DIG and vice versa