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