|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.semanticweb.owlapi.reasonerfactory.pellet.PelletReasonerFactory
public class PelletReasonerFactory
Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date:
08-Sep-2008
Field Summary | |
---|---|
static java.lang.String |
CLASS_NAME
|
Constructor Summary | |
---|---|
PelletReasonerFactory()
|
Method Summary | |
---|---|
OWLReasoner |
createReasoner(OWLOntologyManager manager,
java.util.Set<OWLOntology> ontologies)
Creates an instance of the pellet reasoner. |
java.lang.String |
getReasonerName()
Gets the name of the reasoner that is created by this factory. |
void |
setABoxLogging(java.util.logging.Level level)
|
void |
setKnowledgeBaseLogging(java.util.logging.Level level)
|
void |
setLoggingLevel(java.lang.String className,
java.util.logging.Level level)
|
void |
setPelletVisitorLogging(java.util.logging.Level level)
|
void |
setRBoxLogging(java.util.logging.Level level)
|
void |
setTaxonomyLogging(java.util.logging.Level level)
|
void |
setTracingEnabled(boolean b)
Specifies whether or not tracing should be used. |
void |
setUseConsoleProgressMonitor()
|
void |
turnOffLogging()
Turns off pellet logging. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final java.lang.String CLASS_NAME
Constructor Detail |
---|
public PelletReasonerFactory()
Method Detail |
---|
public void setTracingEnabled(boolean b)
b
- true
if tracing should be used, otherwise
false
.public void setUseConsoleProgressMonitor()
public void turnOffLogging()
public void setPelletVisitorLogging(java.util.logging.Level level)
public void setRBoxLogging(java.util.logging.Level level)
public void setKnowledgeBaseLogging(java.util.logging.Level level)
public void setTaxonomyLogging(java.util.logging.Level level)
public void setABoxLogging(java.util.logging.Level level)
public void setLoggingLevel(java.lang.String className, java.util.logging.Level level)
public java.lang.String getReasonerName()
OWLReasonerFactory
getReasonerName
in interface OWLReasonerFactory
public OWLReasoner createReasoner(OWLOntologyManager manager, java.util.Set<OWLOntology> ontologies) throws OWLReasonerSetupException
createReasoner
in interface OWLReasonerFactory
manager
- The manager
OWLReasonerSetupException
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |