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

Field Summary

private static ReasonerManager	instance
private edu.stanford.smi.protege.event.ProjectListener	projectListener
Map	reasonerMap

Constructor Summary

private

ReasonerManager()

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

instance

private static ReasonerManager instance

projectListener

private edu.stanford.smi.protege.event.ProjectListener projectListener

Constructor Detail

ReasonerManager

private ReasonerManager()

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)