|
Protégé-OWL 3.4 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.stanford.smi.protegex.owl.inference.reasoner.AbstractProtegeReasoner
edu.stanford.smi.protegex.owl.inference.dig.DefaultProtegeDIGReasoner
public class DefaultProtegeDIGReasoner
User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Jun 14, 2004
Field Summary |
---|
Fields inherited from class edu.stanford.smi.protegex.owl.inference.reasoner.AbstractProtegeReasoner |
---|
autoSynchReasoner, classListener, modelListener, owlModel, projectListener, propertyListener, propertyValueListener, reasonerTaskListener, resourceAdapter, synchronizeReasoner |
Fields inherited from interface edu.stanford.smi.protegex.owl.inference.protegeowl.ProtegeOWLReasoner |
---|
CLS1_EQUIVALENT_TO_CLS2, CLS1_SUBSUMED_BY_CLS2, CLS1_SUBSUMES_CLS2, NO_SUBSUMPTION_RELATIONSHIP |
Constructor Summary | |
---|---|
DefaultProtegeDIGReasoner()
|
Method Summary | |
---|---|
void |
classifyTaxonomy()
For each named class in the ontology, this method queries the reasoner for the consistency of the class, its inferred super classes and its inferred equivalent classes. |
void |
classifyTaxonomy(ReasonerTaskListener taskListener)
For each named class in the ontology, this method queries the reasoner for the consistency of the class, its inferred super classes and its inferred equivalent classes. |
void |
computeEquivalentConcepts()
This method queries the reasoner the equivalent classes for each class in the ontology, and updates protege-owl with the information. |
void |
computeEquivalentConcepts(ReasonerTaskListener taskListener)
|
void |
computeInconsistentConcepts()
This method queries the reasoner for the consistency of all classes in the ontology, and updates protege-owl with the information. |
void |
computeInconsistentConcepts(ReasonerTaskListener taskListener)
This method queries the reasoner for the consistency of all classes in the ontology, and updates protege-owl with the information. |
void |
computeInferredHierarchy()
For each named class in the ontology, this method queries the reasoner to obtain its inferred superclasses. |
void |
computeInferredHierarchy(ReasonerTaskListener taskListener)
For each named class in the ontology, this method queries the reasoner to obtain its inferred superclasses. |
void |
computeInferredIndividualTypes()
This method queries the reasoner for the types of all individuals in the ontology, and updates protege-owl with the information. |
void |
computeInferredIndividualTypes(ReasonerTaskListener taskListener)
|
void |
dispose()
|
Collection<OWLClass> |
getAncestorClasses(OWLClass class1)
Gets the inferred ancestor classes of the specified class. |
Collection |
getAncestorClasses(OWLClass aClass,
ReasonerTaskListener taskListener)
Gets the inferred ancestor classes of the specified class. |
Collection<OWLClass> |
getDescendantClasses(OWLClass class1)
Gets the inferred descendant classes of the specified class. |
Collection |
getDescendantClasses(OWLClass aClass,
ReasonerTaskListener taskListener)
Gets the inferred descendant classes of the specified class. |
DIGReasoner |
getDIGReasoner()
Gets the DIGReasoner that this reasoner uses to talk to the external DIG Reasoner Process |
Collection<OWLClass> |
getEquivalentClasses(OWLClass class1)
Gets the equivalent classes of the specified class. |
Collection |
getEquivalentClasses(OWLClass aClass,
ReasonerTaskListener taskListener)
Gets the equivalent classes of the specified class. |
DIGReasonerIdentity |
getIdentity()
Gets the identity of the DIG reasoner. |
Collection<OWLIndividual> |
getIndividualsBelongingToClass(OWLClass class1)
Gets the individuals that are inferred to be members of the specified class. |
Collection |
getIndividualsBelongingToClass(OWLClass aClass,
ReasonerTaskListener taskListener)
Gets the individuals that are inferred to be members of the specified class. |
Collection<OWLClass> |
getIndividualTypes(OWLIndividual individual)
Get the inferred types (direct and indirect) for the specified individual. |
Collection |
getIndividualTypes(OWLIndividual individual,
ReasonerTaskListener taskListener)
Get the inferred types for the specified individual. |
OWLModel |
getKnowledgeBase()
Gets the knowledge base (OWLModel) that this reasoner reasons over. |
protected edu.stanford.smi.protege.event.ProjectListener |
getProjectListener()
MANAGEMENT STUFF |
String |
getReasonerKnowledgeBaseURI()
The external DIG Reasoner that provides the reasoning services assigns each knowledgebase that it knows about a URI in order to identify the knowledgebase. |
static String |
getReasonerName()
|
Collection<OWLClass> |
getSubclasses(OWLClass class1)
Gets the (direct) inferred subclasses of the specified class. |
Collection |
getSubclasses(OWLClass aClass,
ReasonerTaskListener taskListener)
Gets the (direct) inferred subclasses of the specified class. |
int |
getSubsumptionRelationship(OWLClass cls1,
OWLClass cls2)
|
int |
getSubsumptionRelationship(OWLClass cls1,
OWLClass cls2,
ReasonerTaskListener taskListener)
Gets the subsumption relationship between two classes - the subsumption relationship of cls1 to cls2. |
Collection<OWLClass> |
getSuperclasses(OWLClass class1)
Gets the (direct) inferred superclasses of the specified class. |
Collection |
getSuperclasses(OWLClass aClass,
ReasonerTaskListener taskListener)
Gets the (direct) inferred superclasses of the specified class. |
Collection<OWLClass> |
getSuperclassesOfIntersection(OWLClass[] clses)
|
Collection |
getSuperclassesOfIntersection(OWLClass[] clses,
ReasonerTaskListener taskListener)
Gets the inferred superclasses of the intersection of the list of specified classes. |
String |
getURL()
Gets the URL of the external DIG reasoner. |
boolean |
isConnected()
Determines if the ProtegeOWLReasoner can connect to an external DIG compliant reasoner to provide reasoning services. |
boolean |
isDisjointTo(OWLClass cls1,
OWLClass cls2)
Determines if the specified classes are disjoint from each other. |
boolean |
isDisjointTo(OWLClass cls1,
OWLClass cls2,
ReasonerTaskListener taskListener)
Determines if the specified classes are disjoint from each other. |
boolean |
isIntersectionSatisfiable(OWLClass[] clses)
Determines if the intersection of the list of specified classes is satisfiable. |
boolean |
isIntersectionSatisfiable(OWLClass[] clses,
ReasonerTaskListener taskListener)
Determines if the intersection of the list of specified classes is satisfiable. |
boolean |
isSatisfiable(OWLClass class1)
This method queries the reasoner to determine if the specified concept is satisfiable. |
boolean |
isSatisfiable(OWLClass aClass,
ReasonerTaskListener taskListener)
This method queries the reasoner to determine if the specified concept is satisfiable. |
boolean |
isSubsumedBy(OWLClass cls1,
OWLClass cls2)
Determines if one class (cls1) is subsumed by another class (cls2). |
boolean |
isSubsumedBy(OWLClass cls1,
OWLClass cls2,
ReasonerTaskListener taskListener)
Determines if one class (cls1) is subsumed by another class (cls2). |
void |
performTask(ReasonerTask task,
ReasonerTaskListener taskListener)
Executes the specified task after synchronizing the reasoner if necessary. |
void |
reset()
Detaches the OWL model from this reasoner, clears internal caches, and releases the resources allocated by this reasoner for the previously attached OWL model. |
void |
setURL(String url)
Sets the URL of the external DIG reasoner |
protected void |
synchronizeReasoner(ReasonerTaskListener taskListener)
|
Methods inherited from class edu.stanford.smi.protegex.owl.inference.reasoner.AbstractProtegeReasoner |
---|
addListeners, forceReasonerReSynchronization, getAncestorProperties, getClassListener, getDescendantProperties, getIndividualDirectTypes, getModelListener, getOWLModel, getPropertyListener, getPropertyValueListener, getReasonerTaskListener, getRelatedIndividuals, getRelatedValues, getResourceListener, getSubProperties, getSuperProperties, initialize, isAutoSynchronizationEnabled, performTask, reactToKnowledgeBaseChange, rebind, removeListeners, setAutoSynchronizationEnabled, setOWLModel, setReasonerTaskListener |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface edu.stanford.smi.protegex.owl.inference.protegeowl.ProtegeOWLReasoner |
---|
forceReasonerReSynchronization, isAutoSynchronizationEnabled, setAutoSynchronizationEnabled |
Methods inherited from interface edu.stanford.smi.protegex.owl.inference.reasoner.ProtegeReasoner |
---|
forceReasonerReSynchronization, getAncestorProperties, getDescendantProperties, getIndividualDirectTypes, getOWLModel, getReasonerTaskListener, getRelatedIndividuals, getRelatedValues, getSubProperties, getSuperProperties, initialize, isAutoSynchronizationEnabled, rebind, setAutoSynchronizationEnabled, setOWLModel, setReasonerTaskListener |
Constructor Detail |
---|
public DefaultProtegeDIGReasoner()
Method Detail |
---|
public DIGReasoner getDIGReasoner()
getDIGReasoner
in interface ProtegeOWLReasoner
public void setURL(String url)
ProtegeOWLReasoner
setURL
in interface ProtegeOWLReasoner
public String getURL()
ProtegeOWLReasoner
getURL
in interface ProtegeOWLReasoner
String
representing the URL.public boolean isConnected()
ProtegeOWLReasoner
false
then
none of the reaoning methods will work.
isConnected
in interface ProtegeOWLReasoner
public void reset()
ProtegeReasoner
reset
in interface ProtegeReasoner
public String getReasonerKnowledgeBaseURI()
ProtegeOWLReasoner
getReasonerKnowledgeBaseURI
in interface ProtegeOWLReasoner
String
representing the URI.protected void synchronizeReasoner(ReasonerTaskListener taskListener) throws DIGReasonerException
synchronizeReasoner
in class AbstractProtegeReasoner
DIGReasonerException
public DIGReasonerIdentity getIdentity()
ProtegeOWLReasoner
DIGReasonerIdentity
describes the
name, version and capabilities of an external DIG
reasoner.
getIdentity
in interface ProtegeOWLReasoner
public static String getReasonerName()
public OWLModel getKnowledgeBase()
ProtegeOWLReasoner
getKnowledgeBase
in interface ProtegeOWLReasoner
public void classifyTaxonomy(ReasonerTaskListener taskListener) throws DIGReasonerException
ProtegeOWLReasoner
RDFSClass
such as getInferredSuperClasses
will return meaningful results.
classifyTaxonomy
in interface ProtegeOWLReasoner
taskListener
- - A listener which will be informed of the progress of
the task. May be null
if the progress of the task does not
need to be monitored.
DIGReasonerException
public void classifyTaxonomy() throws ProtegeReasonerException
ProtegeReasoner
RDFSClass
such as getInferredSuperClasses
will return meaningful results.
classifyTaxonomy
in interface ProtegeReasoner
classifyTaxonomy
in class AbstractProtegeReasoner
ProtegeReasonerException
public void computeInferredHierarchy(ReasonerTaskListener taskListener) throws DIGReasonerException
ProtegeOWLReasoner
getInferredSuperClasses
on RDFSClass
will
return meaningful results.
computeInferredHierarchy
in interface ProtegeOWLReasoner
taskListener
- - A listener which will be informed of the progress of
the task. May be null
if the progress of the task does not
need to be monitored.
DIGReasonerException
public void computeInferredHierarchy() throws ProtegeReasonerException
ProtegeReasoner
getInferredSuperClasses
on RDFSClass
will
return meaningful results.
computeInferredHierarchy
in interface ProtegeReasoner
computeInferredHierarchy
in class AbstractProtegeReasoner
ProtegeReasonerException
public void computeEquivalentConcepts(ReasonerTaskListener taskListener) throws DIGReasonerException
computeEquivalentConcepts
in interface ProtegeOWLReasoner
taskListener
- - A listener which will be informed of the progress of
the task. May be null
if the progress of the task does not
need to be monitored.
DIGReasonerException
public void computeEquivalentConcepts() throws ProtegeReasonerException
ProtegeReasoner
computeEquivalentConcepts
in interface ProtegeReasoner
computeEquivalentConcepts
in class AbstractProtegeReasoner
ProtegeReasonerException
public void computeInconsistentConcepts(ReasonerTaskListener taskListener) throws DIGReasonerException
ProtegeOWLReasoner
computeInconsistentConcepts
in interface ProtegeOWLReasoner
taskListener
- - A listener which will be informed of the progress of
the task. May be null
if the progress of the task does not
need to be monitored.
DIGReasonerException
public void computeInconsistentConcepts() throws ProtegeReasonerException
ProtegeReasoner
computeInconsistentConcepts
in interface ProtegeReasoner
computeInconsistentConcepts
in class AbstractProtegeReasoner
ProtegeReasonerException
public void computeInferredIndividualTypes(ReasonerTaskListener taskListener) throws DIGReasonerException
computeInferredIndividualTypes
in interface ProtegeOWLReasoner
taskListener
- - A listener which will be informed of the progress of
the task. May be null
if the progress of the task does not
need to be monitored.
DIGReasonerException
public void computeInferredIndividualTypes() throws ProtegeReasonerException
ProtegeReasoner
computeInferredIndividualTypes
in interface ProtegeReasoner
computeInferredIndividualTypes
in class AbstractProtegeReasoner
ProtegeReasonerException
public boolean isSatisfiable(OWLClass aClass, ReasonerTaskListener taskListener) throws DIGReasonerException
ProtegeOWLReasoner
isSatisfiable
in interface ProtegeOWLReasoner
aClass
- The OWLClass
whose satisfiablity is to be determined.taskListener
- - A listener which will be informed of the progress of
the task. May be null
if the progress of the task does not
need to be monitored.
true
if the specified class is satisfiable (consistent)
, or false
if the specified class is not satisfiable (not consistent).
DIGReasonerException
public boolean isSatisfiable(OWLClass class1) throws ProtegeReasonerException
ProtegeReasoner
isSatisfiable
in interface ProtegeReasoner
isSatisfiable
in class AbstractProtegeReasoner
class1
- The OWLClass
whose satisfiablity is to be determined.
true
if the specified class is satisfiable (consistent)
, or false
if the specified class is not satisfiable (not consistent).
ProtegeReasonerException
public boolean isIntersectionSatisfiable(OWLClass[] clses, ReasonerTaskListener taskListener) throws DIGReasonerException
ProtegeOWLReasoner
isIntersectionSatisfiable
in interface ProtegeOWLReasoner
clses
- An array of OWLClass
es, of which the satisfiablity of the
intersection will be determined.taskListener
- - A listener which will be informed of the progress of
the task. May be null
if the progress of the task does not
need to be monitored.
true
if the intersection of the list of classes is satisfiable (consistent)
or false
if the intersection of the list of classes is not satisfiable (not consistent)
DIGReasonerException
public boolean isIntersectionSatisfiable(OWLClass[] clses) throws ProtegeReasonerException
ProtegeReasoner
isIntersectionSatisfiable
in interface ProtegeReasoner
isIntersectionSatisfiable
in class AbstractProtegeReasoner
clses
- An array of OWLClass
es, of which the satisfiablity of the
intersection will be determined.
true
if the intersection of the list of classes is satisfiable (consistent)
or false
if the intersection of the list of classes is not satisfiable (not consistent)
ProtegeReasonerException
public boolean isSubsumedBy(OWLClass cls1, OWLClass cls2, ReasonerTaskListener taskListener) throws DIGReasonerException
ProtegeOWLReasoner
isSubsumedBy
in interface ProtegeOWLReasoner
cls1
- The subsumee (the expected subclass)cls2
- The subsumer (the expected superclass)taskListener
- - A listener which will be informed of the progress of
the task. May be null
if the progress of the task does not
need to be monitored.
true
if cls1 is subsumed by cls2, or false
if cls1
is not subsumed by cls2.
DIGReasonerException
public boolean isSubsumedBy(OWLClass cls1, OWLClass cls2) throws ProtegeReasonerException
ProtegeReasoner
isSubsumedBy
in interface ProtegeReasoner
isSubsumedBy
in class AbstractProtegeReasoner
cls1
- The subsumee (the expected subclass)cls2
- The subsumer (the expected superclass)
true
if cls1 is subsumed by cls2, or false
if cls1
is not subsumed by cls2.
ProtegeReasonerException
public boolean isDisjointTo(OWLClass cls1, OWLClass cls2, ReasonerTaskListener taskListener) throws DIGReasonerException
ProtegeOWLReasoner
isDisjointTo
in interface ProtegeOWLReasoner
cls1
- An OWLClass
cls2
- An OWLClass
taskListener
- - A listener which will be informed of the progress of
the task. May be null
if the progress of the task does not
need to be monitored.
true
if cls1 is disjoint with cls2.
DIGReasonerException
public boolean isDisjointTo(OWLClass cls1, OWLClass cls2) throws ProtegeReasonerException
ProtegeReasoner
isDisjointTo
in interface ProtegeReasoner
isDisjointTo
in class AbstractProtegeReasoner
cls1
- An OWLClass
cls2
- An OWLClass
true
if cls1 is disjoint with cls2.
ProtegeReasonerException
public int getSubsumptionRelationship(OWLClass cls1, OWLClass cls2, ReasonerTaskListener taskListener) throws DIGReasonerException
ProtegeOWLReasoner
getSubsumptionRelationship
in interface ProtegeOWLReasoner
cls1
- An OWLClass
cls2
- An OWLClass
taskListener
- - A listener which will be informed of the progress of
the task. May be null
if the progress of the task does not
need to be monitored.
ProtegeOWLReasoner
for result values
DIGReasonerException
public int getSubsumptionRelationship(OWLClass cls1, OWLClass cls2) throws ProtegeReasonerException
getSubsumptionRelationship
in class AbstractProtegeReasoner
ProtegeReasonerException
public Collection getSuperclasses(OWLClass aClass, ReasonerTaskListener taskListener) throws DIGReasonerException
ProtegeOWLReasoner
getSuperclasses
in interface ProtegeOWLReasoner
aClass
- The class whose inferred superclasses are to be retrieved.taskListener
- - A listener which will be informed of the progress of
the task. May be null
if the progress of the task does not
need to be monitored.
Collection
containing the classes that are the
inferred superclasses of the specified class.
DIGReasonerException
public Collection<OWLClass> getSuperclasses(OWLClass class1) throws ProtegeReasonerException
ProtegeReasoner
getSuperclasses
in interface ProtegeReasoner
getSuperclasses
in class AbstractProtegeReasoner
class1
- The class whose inferred superclasses are to be retrieved.
Collection
containing the classes that are the
inferred superclasses of the specified class.
ProtegeReasonerException
public Collection getSuperclassesOfIntersection(OWLClass[] clses, ReasonerTaskListener taskListener) throws DIGReasonerException
ProtegeOWLReasoner
getSuperclassesOfIntersection
in interface ProtegeOWLReasoner
clses
- An array of OWLClass
es, the intersection of
which will be obtained and then the inferred superclasses of this intersection
class will be retrieved from the reasoner.taskListener
- - A listener which will be informed of the progress of
the task. May be null
if the progress of the task does not
need to be monitored.
Collection
of classes.
DIGReasonerException
public Collection<OWLClass> getSuperclassesOfIntersection(OWLClass[] clses) throws ProtegeReasonerException
getSuperclassesOfIntersection
in class AbstractProtegeReasoner
ProtegeReasonerException
public Collection getSubclasses(OWLClass aClass, ReasonerTaskListener taskListener) throws DIGReasonerException
ProtegeOWLReasoner
getSubclasses
in interface ProtegeOWLReasoner
aClass
- The class whose inferred subclasses are to be retrieved.taskListener
- - A listener which will be informed of the progress of
the task. May be null
if the progress of the task does not
need to be monitored.
Collection
containing the inferred subclasses of the
specified class.
DIGReasonerException
public Collection<OWLClass> getSubclasses(OWLClass class1) throws ProtegeReasonerException
ProtegeReasoner
getSubclasses
in interface ProtegeReasoner
getSubclasses
in class AbstractProtegeReasoner
class1
- The class whose inferred subclasses are to be retrieved.
Collection
containing the inferred subclasses of the
specified class.
ProtegeReasonerException
public Collection getAncestorClasses(OWLClass aClass, ReasonerTaskListener taskListener) throws DIGReasonerException
ProtegeOWLReasoner
getAncestorClasses
in interface ProtegeOWLReasoner
aClass
- The class whose inferred ancestor classes are to be retrieved.taskListener
- - A listener which will be informed of the progress of
the task. May be null
if the progress of the task does not
need to be monitored.
Collection
containing the inferred ancestor classes
of the specified class.
DIGReasonerException
public Collection<OWLClass> getAncestorClasses(OWLClass class1) throws ProtegeReasonerException
ProtegeReasoner
getAncestorClasses
in interface ProtegeReasoner
getAncestorClasses
in class AbstractProtegeReasoner
class1
- The class whose inferred ancestor classes are to be retrieved.
Collection
containing the inferred ancestor classes
of the specified class.
ProtegeReasonerException
public Collection getDescendantClasses(OWLClass aClass, ReasonerTaskListener taskListener) throws DIGReasonerException
ProtegeOWLReasoner
getDescendantClasses
in interface ProtegeOWLReasoner
aClass
- The class whose descendent classes are to be retrieved.taskListener
- - A listener which will be informed of the progress of
the task. May be null
if the progress of the task does not
need to be monitored.
Collection
containing the inferred descendent classes.
DIGReasonerException
public Collection<OWLClass> getDescendantClasses(OWLClass class1) throws ProtegeReasonerException
ProtegeReasoner
getDescendantClasses
in interface ProtegeReasoner
getDescendantClasses
in class AbstractProtegeReasoner
class1
- The class whose descendent classes are to be retrieved.
Collection
containing the inferred descendent classes.
ProtegeReasonerException
public Collection getEquivalentClasses(OWLClass aClass, ReasonerTaskListener taskListener) throws DIGReasonerException
ProtegeOWLReasoner
getEquivalentClasses
in interface ProtegeOWLReasoner
aClass
- The class whose equivalent classes are to be retrieved.taskListener
- - A listener which will be informed of the progress of
the task. May be null
if the progress of the task does not
need to be monitored.
Collection
containing the inferred equivalent classes
of the specified class.
DIGReasonerException
public Collection<OWLClass> getEquivalentClasses(OWLClass class1) throws ProtegeReasonerException
ProtegeReasoner
getEquivalentClasses
in interface ProtegeReasoner
getEquivalentClasses
in class AbstractProtegeReasoner
class1
- The class whose equivalent classes are to be retrieved.
Collection
containing the inferred equivalent classes
of the specified class.
ProtegeReasonerException
public Collection getIndividualsBelongingToClass(OWLClass aClass, ReasonerTaskListener taskListener) throws DIGReasonerException
ProtegeOWLReasoner
getIndividualsBelongingToClass
in interface ProtegeOWLReasoner
aClass
- The class whose members are to be retrieved.taskListener
- - A listener which will be informed of the progress of
the task. May be null
if the progress of the task does not
need to be monitored.
Collection
containing the OWLIndividuals
that are members of the specified class.
DIGReasonerException
public Collection<OWLIndividual> getIndividualsBelongingToClass(OWLClass class1) throws ProtegeReasonerException
ProtegeReasoner
getIndividualsBelongingToClass
in interface ProtegeReasoner
getIndividualsBelongingToClass
in class AbstractProtegeReasoner
class1
- The class whose members are to be retrieved.
Collection
containing the OWLIndividuals
that are members of the specified class.
ProtegeReasonerException
public Collection getIndividualTypes(OWLIndividual individual, ReasonerTaskListener taskListener) throws DIGReasonerException
ProtegeOWLReasoner
getIndividualTypes
in interface ProtegeOWLReasoner
individual
- The individual whose inferred types are to be retrieved.taskListener
- - A listener which will be informed of the progress of
the task. May be null
if the progress of the task does not
need to be monitored.
Collection
of OWLClasses
that represent the
inferred types for the specified individual.
DIGReasonerException
public Collection<OWLClass> getIndividualTypes(OWLIndividual individual) throws ProtegeReasonerException
ProtegeReasoner
getIndividualTypes
in interface ProtegeReasoner
getIndividualTypes
in class AbstractProtegeReasoner
individual
- The individual whose inferred types are to be retrieved.
Collection
of OWLClasses
that represent the
inferred types for the specified individual.
ProtegeReasonerException
protected edu.stanford.smi.protege.event.ProjectListener getProjectListener()
getProjectListener
in class AbstractProtegeReasoner
public void performTask(ReasonerTask task, ReasonerTaskListener taskListener) throws DIGReasonerException
null
) is automatically registered
with the task before task execution, and the unregistered after task
execution.
performTask
in class AbstractProtegeReasoner
task
- The task to be executed.taskListener
- The listener to be registered with the task. May be
null
if no listener should be registered.
DIGReasonerException
public void dispose()
dispose
in interface edu.stanford.smi.protege.util.Disposable
dispose
in class AbstractProtegeReasoner
|
Protégé-OWL 3.4 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |