Uses of Interface
edu.stanford.smi.protegex.owl.inference.dig.reasoner.DIGReasoner

Packages that use DIGReasoner

edu.stanford.smi.protegex.owl.inference.dig.reasoner
edu.stanford.smi.protegex.owl.inference.dig.reasoner.logger
edu.stanford.smi.protegex.owl.inference.protegeowl

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

Classes in edu.stanford.smi.protegex.owl.inference.dig.reasoner that implement DIGReasoner

class

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

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

Methods in edu.stanford.smi.protegex.owl.inference.dig.reasoner.logger with parameters of type DIGReasoner

static DIGLogger

DIGLogger.getInstance(DIGReasoner digReasoner)

Uses of DIGReasoner in edu.stanford.smi.protegex.owl.inference.protegeowl

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

private DIGReasoner

DefaultProtegeOWLReasoner.reasoner

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

DIGReasoner	DefaultProtegeOWLReasoner.getDIGReasoner() Gets the DIGReasoner that this reasoner uses to talk to the external DIG Reasoner Process
DIGReasoner	ProtegeOWLReasoner.getDIGReasoner() Gets the DIGReasoner that this reasoner uses to talk to the external DIG Reasoner Process