|
|||||||||||
PREV NEXT | FRAMES NO FRAMES All Classes |
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 |
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 |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES All Classes |