Protégé-OWL 3.4.1

edu.stanford.smi.protegex.owl.inference.protegeowl
Interface ProtegeOWLReasoner

All Known Implementing Classes:
DefaultProtegeDIGReasoner, DefaultProtegeOWLReasoner

Deprecated. - Use ProtegeReasoner

@Deprecated
public interface ProtegeOWLReasoner

User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Jun 4, 2004

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

The ProtegeOWLReasoner is an interface to an external DIG compliant reasoner. DIG (Description Logic Implementation Group) is a standard language for talking to a description logic reasoner over http.


Field Summary
static int CLS1_EQUIVALENT_TO_CLS2
          Deprecated.  
static int CLS1_SUBSUMED_BY_CLS2
          Deprecated.  
static int CLS1_SUBSUMES_CLS2
          Deprecated.  
static int NO_SUBSUMPTION_RELATIONSHIP
          Deprecated.  
 
Method Summary
 void classifyTaxonomy(ReasonerTaskListener taskListener)
          Deprecated. 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(ReasonerTaskListener taskListener)
          Deprecated.  
 void computeInconsistentConcepts(ReasonerTaskListener taskListener)
          Deprecated. This method queries the reasoner for the consistency of all classes in the ontology, and updates protege-owl with the information.
 void computeInferredHierarchy(ReasonerTaskListener taskListener)
          Deprecated. For each named class in the ontology, this method queries the reasoner to obtain its inferred superclasses.
 void computeInferredIndividualTypes(ReasonerTaskListener taskListener)
          Deprecated.  
 void forceReasonerReSynchronization()
          Deprecated. Depending on the implementation of the ProtegeOWLReasoner, some kind of caching may be used.
 Collection getAncestorClasses(OWLClass aClass, ReasonerTaskListener taskListener)
          Deprecated. Gets the inferred ancestor classes of the specified class.
 Collection getDescendantClasses(OWLClass aClass, ReasonerTaskListener taskListener)
          Deprecated. Gets the inferred descendant classes of the specified class.
 DIGReasoner getDIGReasoner()
          Deprecated. Gets the DIGReasoner that this reasoner uses to talk to the external DIG Reasoner Process
 Collection getEquivalentClasses(OWLClass aClass, ReasonerTaskListener taskListener)
          Deprecated. Gets the equivalent classes of the specified class.
 DIGReasonerIdentity getIdentity()
          Deprecated. Gets the identity of the DIG reasoner.
 Collection getIndividualsBelongingToClass(OWLClass aClass, ReasonerTaskListener taskListener)
          Deprecated. Gets the individuals that are inferred to be members of the specified class.
 Collection getIndividualTypes(OWLIndividual individual, ReasonerTaskListener taskListener)
          Deprecated. Get the inferred types for the specified individual.
 OWLModel getKnowledgeBase()
          Deprecated. Gets the knowledge base (OWLModel) that this reasoner reasons over.
 String getReasonerKnowledgeBaseURI()
          Deprecated. The external DIG Reasoner that provides the reasoning services assigns each knowledgebase that it knows about a URI in order to identify the knowledgebase.
 Collection getSubclasses(OWLClass aClass, ReasonerTaskListener taskListener)
          Deprecated. Gets the (direct) inferred subclasses of the specified class.
 int getSubsumptionRelationship(OWLClass cls1, OWLClass cls2, ReasonerTaskListener taskListener)
          Deprecated. Gets the subsumption relationship between two classes - the subsumption relationship of cls1 to cls2.
 Collection getSuperclasses(OWLClass aClass, ReasonerTaskListener taskListener)
          Deprecated. Gets the (direct) inferred superclasses of the specified class.
 Collection getSuperclassesOfIntersection(OWLClass[] clses, ReasonerTaskListener taskListener)
          Deprecated. Gets the inferred superclasses of the intersection of the list of specified classes.
 String getURL()
          Deprecated. Gets the URL of the external DIG reasoner.
 boolean isAutoSynchronizationEnabled()
          Deprecated.  
 boolean isConnected()
          Deprecated. Determines if the ProtegeOWLReasoner can connect to an external DIG compliant reasoner to provide reasoning services.
 boolean isDisjointTo(OWLClass cls1, OWLClass cls2, ReasonerTaskListener taskListener)
          Deprecated. Determines if the specified classes are disjoint from each other.
 boolean isIntersectionSatisfiable(OWLClass[] clses, ReasonerTaskListener taskListener)
          Deprecated. Determines if the intersection of the list of specified classes is satisfiable.
 boolean isSatisfiable(OWLClass aClass, ReasonerTaskListener taskListener)
          Deprecated. This method queries the reasoner to determine if the specified concept is satisfiable.
 boolean isSubsumedBy(OWLClass cls1, OWLClass cls2, ReasonerTaskListener taskListener)
          Deprecated. Determines if one class (cls1) is subsumed by another class (cls2).
 void setAutoSynchronizationEnabled(boolean b)
          Deprecated. Depending on the implementation of the ProtegeOWLReasoner, the DIG reasoner may automatically be sunchronized with changes in the Protege-OWL knowledgebase.
 void setURL(String url)
          Deprecated. Sets the URL of the external DIG reasoner
 

Field Detail

NO_SUBSUMPTION_RELATIONSHIP

static final int NO_SUBSUMPTION_RELATIONSHIP
Deprecated. 
See Also:
Constant Field Values

CLS1_SUBSUMES_CLS2

static final int CLS1_SUBSUMES_CLS2
Deprecated. 
See Also:
Constant Field Values

CLS1_SUBSUMED_BY_CLS2

static final int CLS1_SUBSUMED_BY_CLS2
Deprecated. 
See Also:
Constant Field Values

CLS1_EQUIVALENT_TO_CLS2

static final int CLS1_EQUIVALENT_TO_CLS2
Deprecated. 
See Also:
Constant Field Values
Method Detail

setURL

void setURL(String url)
Deprecated. 
Sets the URL of the external DIG reasoner


getURL

String getURL()
Deprecated. 
Gets the URL of the external DIG reasoner.

Returns:
A String representing the URL.

isConnected

boolean isConnected()
Deprecated. 
Determines if the ProtegeOWLReasoner can connect to an external DIG compliant reasoner to provide reasoning services. If this method returns false then none of the reaoning methods will work.


getIdentity

DIGReasonerIdentity getIdentity()
Deprecated. 
Gets the identity of the DIG reasoner. The DIGReasonerIdentity describes the name, version and capabilities of an external DIG reasoner.


getKnowledgeBase

OWLModel getKnowledgeBase()
Deprecated. 
Gets the knowledge base (OWLModel) that this reasoner reasons over.


getDIGReasoner

DIGReasoner getDIGReasoner()
Deprecated. 
Gets the DIGReasoner that this reasoner uses to talk to the external DIG Reasoner Process


getReasonerKnowledgeBaseURI

String getReasonerKnowledgeBaseURI()
Deprecated. 
The external DIG Reasoner that provides the reasoning services assigns each knowledgebase that it knows about a URI in order to identify the knowledgebase. This method returns the URI corresponding to the Protege-OWL knowledgebase that this reasoner reasons about.

Returns:
A String representing the URI.

forceReasonerReSynchronization

void forceReasonerReSynchronization()
Deprecated. 
Depending on the implementation of the ProtegeOWLReasoner, some kind of caching may be used. This method will force the ProtegeOWLReasoner to synchronize the contents of the external DIG reasoner prior to the next query. (Note that this will not cause the reasoner to be resynchronized immediately - synchronisation will take place the next time the reasoner is queried).


setAutoSynchronizationEnabled

void setAutoSynchronizationEnabled(boolean b)
Deprecated. 
Depending on the implementation of the ProtegeOWLReasoner, the DIG reasoner may automatically be sunchronized with changes in the Protege-OWL knowledgebase. This method will enable/disable this autosynchronization (if it is used). Note that if reasoner synchronisation is disabled, and then it is subsequently necessary to resynchronise the reasoner, the forceReasonerReSynchronization method should be used.

Parameters:
b - true to enable autosync, or false to disable autosync.

isAutoSynchronizationEnabled

boolean isAutoSynchronizationEnabled()
Deprecated. 

computeInferredHierarchy

void computeInferredHierarchy(ReasonerTaskListener taskListener)
                              throws DIGReasonerException
Deprecated. 
For each named class in the ontology, this method queries the reasoner to obtain its inferred superclasses. This information is then pieced together to form the inferred hierarchy. The method updates the protege-owl structures that hold information about inferred superclasses, which means that methods such as getInferredSuperClasses on RDFSClass will return meaningful results.

Parameters:
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.
Throws:
DIGReasonerException

computeInconsistentConcepts

void computeInconsistentConcepts(ReasonerTaskListener taskListener)
                                 throws DIGReasonerException
Deprecated. 
This method queries the reasoner for the consistency of all classes in the ontology, and updates protege-owl with the information.

Parameters:
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.
Throws:
DIGReasonerException

computeInferredIndividualTypes

void computeInferredIndividualTypes(ReasonerTaskListener taskListener)
                                    throws DIGReasonerException
Deprecated. 
Parameters:
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.
Throws:
DIGReasonerException

computeEquivalentConcepts

void computeEquivalentConcepts(ReasonerTaskListener taskListener)
                               throws DIGReasonerException
Deprecated. 
Parameters:
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.
Throws:
DIGReasonerException

classifyTaxonomy

void classifyTaxonomy(ReasonerTaskListener taskListener)
                      throws DIGReasonerException
Deprecated. 
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. The method updates the protege-owl structures that hold this information, meaning that methods on RDFSClass such as getInferredSuperClasses will return meaningful results.

Parameters:
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.
Throws:
DIGReasonerException

isSatisfiable

boolean isSatisfiable(OWLClass aClass,
                      ReasonerTaskListener taskListener)
                      throws DIGReasonerException
Deprecated. 
This method queries the reasoner to determine if the specified concept is satisfiable.

Parameters:
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.
Returns:
true if the specified class is satisfiable (consistent) , or false if the specified class is not satisfiable (not consistent).
Throws:
DIGReasonerException

isIntersectionSatisfiable

boolean isIntersectionSatisfiable(OWLClass[] clses,
                                  ReasonerTaskListener taskListener)
                                  throws DIGReasonerException
Deprecated. 
Determines if the intersection of the list of specified classes is satisfiable.

Parameters:
clses - An array of OWLClasses, 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.
Returns:
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)
Throws:
DIGReasonerException

isSubsumedBy

boolean isSubsumedBy(OWLClass cls1,
                     OWLClass cls2,
                     ReasonerTaskListener taskListener)
                     throws DIGReasonerException
Deprecated. 
Determines if one class (cls1) is subsumed by another class (cls2). In other words, determines if cls2 is a superclass of cls1.

Parameters:
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.
Returns:
true if cls1 is subsumed by cls2, or false if cls1 is not subsumed by cls2.
Throws:
DIGReasonerException

isDisjointTo

boolean isDisjointTo(OWLClass cls1,
                     OWLClass cls2,
                     ReasonerTaskListener taskListener)
                     throws DIGReasonerException
Deprecated. 
Determines if the specified classes are disjoint from each other. Note that because disjointedness is a symmetric property, the order of the specified classes does not matter.

Parameters:
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.
Returns:
true if cls1 is disjoint with cls2.
Throws:
DIGReasonerException

getSubsumptionRelationship

int getSubsumptionRelationship(OWLClass cls1,
                               OWLClass cls2,
                               ReasonerTaskListener taskListener)
                               throws DIGReasonerException
Deprecated. 
Gets the subsumption relationship between two classes - the subsumption relationship of cls1 to cls2. The ordering of arguments is important.

Parameters:
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.
Returns:
An integer that indicates the subsumption relationship of cls1 in relation to cls2. See the constants defined in ProtegeOWLReasoner for result values
Throws:
DIGReasonerException

getSuperclasses

Collection getSuperclasses(OWLClass aClass,
                           ReasonerTaskListener taskListener)
                           throws DIGReasonerException
Deprecated. 
Gets the (direct) inferred superclasses of the specified class.

Parameters:
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.
Returns:
A Collection containing the classes that are the inferred superclasses of the specified class.
Throws:
DIGReasonerException

getSuperclassesOfIntersection

Collection getSuperclassesOfIntersection(OWLClass[] clses,
                                         ReasonerTaskListener taskListener)
                                         throws DIGReasonerException
Deprecated. 
Gets the inferred superclasses of the intersection of the list of specified classes.

Parameters:
clses - An array of OWLClasses, 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.
Returns:
A Collection of classes.
Throws:
DIGReasonerException

getSubclasses

Collection getSubclasses(OWLClass aClass,
                         ReasonerTaskListener taskListener)
                         throws DIGReasonerException
Deprecated. 
Gets the (direct) inferred subclasses of the specified class.

Parameters:
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.
Returns:
A Collection containing the inferred subclasses of the specified class.
Throws:
DIGReasonerException

getAncestorClasses

Collection getAncestorClasses(OWLClass aClass,
                              ReasonerTaskListener taskListener)
                              throws DIGReasonerException
Deprecated. 
Gets the inferred ancestor classes of the specified class. The inferred ancestor classes is equivalent to the transitive closure of the inferred superclasses.

Parameters:
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.
Returns:
A Collection containing the inferred ancestor classes of the specified class.
Throws:
DIGReasonerException

getDescendantClasses

Collection getDescendantClasses(OWLClass aClass,
                                ReasonerTaskListener taskListener)
                                throws DIGReasonerException
Deprecated. 
Gets the inferred descendant classes of the specified class. The inferred descendant classes is equivalent to the transitive closure of the inferred subclasses.

Parameters:
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.
Returns:
A Collection containing the inferred descendent classes.
Throws:
DIGReasonerException

getEquivalentClasses

Collection getEquivalentClasses(OWLClass aClass,
                                ReasonerTaskListener taskListener)
                                throws DIGReasonerException
Deprecated. 
Gets the equivalent classes of the specified class.

Parameters:
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.
Returns:
A Collection containing the inferred equivalent classes of the specified class.
Throws:
DIGReasonerException

getIndividualsBelongingToClass

Collection getIndividualsBelongingToClass(OWLClass aClass,
                                          ReasonerTaskListener taskListener)
                                          throws DIGReasonerException
Deprecated. 
Gets the individuals that are inferred to be members of the specified class.

Parameters:
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.
Returns:
A Collection containing the OWLIndividuals that are members of the specified class.
Throws:
DIGReasonerException

getIndividualTypes

Collection getIndividualTypes(OWLIndividual individual,
                              ReasonerTaskListener taskListener)
                              throws DIGReasonerException
Deprecated. 
Get the inferred types for the specified individual.

Parameters:
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.
Returns:
A Collection of OWLClasses that represent the inferred types for the specified individual.
Throws:
DIGReasonerException

Protégé-OWL 3.4.1

Submit a bug report or feature request
Copyright (c) 1998-2009 Stanford University.