edu.stanford.smi.protegex.owl.inference.protegeowl
Class ReasonerManager
java.lang.Object
edu.stanford.smi.protegex.owl.inference.protegeowl.ReasonerManager
- All Implemented Interfaces:
- edu.stanford.smi.protege.util.Disposable
public class ReasonerManager
- extends Object
- implements edu.stanford.smi.protege.util.Disposable
User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Jun 22, 2004
- Author:
- Matthew Horridge , Tania Tudorache
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
CURRENT_REASONER_PROPERTY
public static final String CURRENT_REASONER_PROPERTY
- See Also:
- Constant Field Values
getInstance
public static ReasonerManager getInstance()
getReasoner
@Deprecated
public ProtegeOWLReasoner getReasoner(OWLModel owlModel)
- Deprecated.
- Gets the DIG reasoner for the specified knowledge base
- Parameters:
owlModel
- The OWLModel
- Returns:
- A reasoner to be used for reasoning over
the specified knowledge base.
getProtegeReasoner
public ProtegeReasoner getProtegeReasoner(OWLModel owlModel)
getReasoner
@Deprecated
public ProtegeOWLReasoner getReasoner(OWLModel owlModel,
boolean createNew)
- Deprecated. Use
createProtegeReasoner(owlModel, DefaultProtegeOWLReasoner.class)
createReasoner
@Deprecated
public ProtegeOWLReasoner createReasoner(OWLModel owlModel)
- Deprecated. Use
createProtegeReasoner(owlModel, DefaultProtegeOWLReasoner.class)
createProtegeReasoner
public ProtegeReasoner createProtegeReasoner(OWLModel owlModel)
createProtegeReasoner
public ProtegeReasoner createProtegeReasoner(OWLModel owlModel,
Class reasonerJavaClass)
getDefaultReasonerClassName
public String getDefaultReasonerClassName()
getDefaultReasonerClass
public Class getDefaultReasonerClass()
setDefaultReasonerClass
public void setDefaultReasonerClass(String javaClassName)
disposeReasoner
public void disposeReasoner(OWLModel owlModel)
getDefaultDIGReasonerClass
public Class getDefaultDIGReasonerClass()
setProtegeReasonerClass
public ProtegeReasoner setProtegeReasonerClass(OWLModel owlModel,
Class reasonerJavaClass)
setProtegeReasonerClass
public ProtegeReasoner setProtegeReasonerClass(OWLModel owlModel,
String reasonerJavaClassName)
hasAttachedReasoner
public boolean hasAttachedReasoner(OWLModel owlModel)
dispose
public void dispose()
- Specified by:
dispose
in interface edu.stanford.smi.protege.util.Disposable
Submit a bug report or feature request
Copyright (c) 1998-2009 Stanford University.