Overview | Package | Class | Tree | Deprecated | Index | Help
| Protégé-OWL 3.5 alpha
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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 `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.
  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 `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.
  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`

Overview | Package | Class | Tree | Deprecated | Index | Help
| Protégé-OWL 3.5 alpha
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

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