edu.stanford.smi.protegex.owl.inference.protegeowl
Class ReasonerManager
java.lang.Object
edu.stanford.smi.protegex.owl.inference.protegeowl.ReasonerManager
public class ReasonerManager
- extends Object
User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Jun 22, 2004
matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
reasonerMap
public Map reasonerMap
getInstance
public static ReasonerManager getInstance()
getReasoner
public ProtegeOWLReasoner getReasoner(OWLModel kb)
- Gets the reasoner for the specified knowledge base
- Parameters:
kb
- The OWLModel
.
- Returns:
- A reasoner to be used for reasoning over
the specified knowledge base.
getReasoner
public ProtegeOWLReasoner getReasoner(OWLModel kb,
boolean createNew)
- Deprecated. The
createReasoner
method should be used instead.
createReasoner
public ProtegeOWLReasoner createReasoner(OWLModel model)
Submit a bug report or feature request
Copyright (c) 1998-2007 Stanford University.