Protégé-OWL 3.3.1

edu.stanford.smi.protegex.owl.inference.protegeowl
Class ReasonerManager

java.lang.Object
  extended by 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


Field Summary
 Map reasonerMap
           
 
Method Summary
 ProtegeOWLReasoner createReasoner(OWLModel model)
           
static ReasonerManager getInstance()
           
 ProtegeOWLReasoner getReasoner(OWLModel kb)
          Gets the reasoner for the specified knowledge base
 ProtegeOWLReasoner getReasoner(OWLModel kb, boolean createNew)
          Deprecated. The createReasoner method should be used instead.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

reasonerMap

public Map reasonerMap
Method Detail

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)

Protégé-OWL 3.3.1

Submit a bug report or feature request
Copyright (c) 1998-2007 Stanford University.