edu.stanford.smi.protegex.owl.inference.protegeowl
Class ReasonerPluginManager
java.lang.Object
edu.stanford.smi.protegex.owl.inference.protegeowl.ReasonerPluginManager
public class ReasonerPluginManager
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ReasonerPluginManager
public ReasonerPluginManager()
getAvailableReasonerPluginClasses
public static Collection<Class> getAvailableReasonerPluginClasses()
getSuitableReasonerPluginClasses
public static Collection<Class<? extends ProtegeReasoner>> getSuitableReasonerPluginClasses(edu.stanford.smi.protege.model.Project project)
getReasonerPluginInstance
public static ProtegeReasoner getReasonerPluginInstance(OWLModel owlModel,
Class<? extends ProtegeReasoner> reasonerJavaClass)
getReasonerPluginInstance
public static ProtegeReasoner getReasonerPluginInstance(Class<? extends ProtegeReasoner> reasonerJavaClass)
getReasonerPluginInstance
public static ProtegeReasoner getReasonerPluginInstance(String reasonerJavaClassName)
getReasonerPluginInstance
public static ProtegeReasoner getReasonerPluginInstance(OWLModel owlModel,
String reasonerJavaClassName)
getReasonerJavaClass
public static Class<? extends ProtegeReasoner> getReasonerJavaClass(String reasonerJavaClassName)
getSuitableReasonerNames
public static Collection<String> getSuitableReasonerNames(OWLModel owlModel)
getSuitableReasonerMap
public static Map<String,String> getSuitableReasonerMap(OWLModel owlModel)
getReasonerName
public static String getReasonerName(Class<? extends ProtegeReasoner> reasonerClass)
Submit a bug report or feature request
Copyright (c) 1998-2009 Stanford University.