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.dig.translator
Class DefaultDIGTranslator

    java.lang.Object
      edu.stanford.smi.protegex.owl.inference.dig.translator.DefaultDIGTranslator

All Implemented Interfaces:
  DIGTranslator

    public class DefaultDIGTranslator

extends Object
implements DIGTranslator

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

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

Field Summary
`static String` | `DL_NAMESPACE`

Constructor Summary
`DefaultDIGTranslator()`

Method Summary
`void` | `createAllConceptNamesQuery(Document doc, String queryID)` Creates a DIG Query that will return a list of the primitive concepts in the knowledge base.
`void` | `createAllIndividualsQuery(Document doc, String queryID)` Create a DIG Query that will return a list of the individuals in the knowledge base.
`void` | `createAllPropertyNamesQuery(Document doc, String queryID)` Creates a DIG Query that will return a list of properties in the knowledge base.
`void` | `createAncestorConceptsQuery(Document doc, String queryID, RDFSClass aClass)` Creates a query that asks for the ancestor concepts of a given concept, this includes all super concepts (not just direct ones).
`void` | `createAncestorPropertiesQuery(Document doc, String queryID, OWLProperty property)` Creates a query that asks for the ancestor properties (i.e.
`Document` | `createAsksDocument(String kbURI)` A convenience method that creates an XML DIG Asks document.
`void` | `createDescendantConceptsQuery(Document doc, String queryID, RDFSClass aClass)` Creates a query that asks for the descendant concepts of a given concept.
`void` | `createDescendantPropertiesQuery(Document doc, String queryID, OWLProperty property)` Creates a query that asks for the descendant properties (i.e.
`Document` | `createDIGDocument(String rootTagName)` Creates an XML DIG Document, whose root contains the appropriate name spaces etc.
`Document` | `createDIGDocument(String rootTagName, String kbURI)` Creates an XML DIG Document, whose root contains the appropriate namespaces etc.
`void` | `createDirectSubConceptsQuery(Document doc, String queryID, RDFSClass aClass)` Creates a query that asks for the direct sub concepts of a given concept.
`void` | `createDirectSubPropertiesQuery(Document doc, String queryID, OWLProperty property)` Creates a query that asks for the direct sub properties of a given property.
`void` | `createDirectSuperConceptsQuery(Document doc, String queryID, RDFSClass aClass)` Creates a query that asks for the direct super concepts of a given concept.
`void` | `createDirectSuperConceptsQuery(Document doc, String queryID, RDFSClass[] clses)` Creates a query that asks for the direct super concepts of an intersection of classes.
`void` | `createDirectSuperPropertiesQuery(Document doc, String queryID, OWLProperty property)` Creates a query that asks for the direct super properties of a given property.
`void` | `createDisjointQuery(Document doc, String queryID, RDFSClass cls1, RDFSClass cls2)` Creates a query that asks if one concept is disjoint with another concept.
`void` | `createEquivalentConceptsQuery(Document doc, String queryID, RDFSClass aClass)` Creates a query that asks for the concepts that are equivalent (i.e.
`void` | `createIndividualInstanceOfConceptQuery(Document doc, String queryID, RDFIndividual ins, RDFSClass aClass)` Creates a query that asks if an individual is an instance (member of) a given class.
`void` | `createIndividualTypesQuery(Document doc, String queryID, RDFIndividual ins)` Creates a query that asks for the types (concepts) that an individual belongs to.
`void` | `createInstancesOfConceptQuery(Document doc, String queryID, RDFSClass aClass)` Creates a query that asks for the instances (individuals belonging to) a given concept.
`void` | `createPropertyFillersQuery(Document doc, String queryID, RDFIndividual ins, OWLProperty property)` Creates a query that asks for the fillers for a qiven individual/property pair.
`protected Element` | `createQueryElement(Document doc, String name, String queryID)`
`void` | `createRelatedIndividualsQuery(Document doc, String queryID, OWLProperty property)` Creates a query that asks for the individuals that are related to each other via a given property.
`void` | `createSatisfiableQuery(Document doc, String queryID, RDFSClass aClass)` Creates a query that asks if a given class is satisfiable.
`void` | `createSatisfiableQuery(Document doc, String queryID, RDFSClass[] clses)` Creates a query that asks if the intersection of a list of classes is satisfiable/consistent.
`void` | `createSubsumesQuery(Document doc, String queryID, RDFSClass cls1, RDFSClass cls2)` Creates a query that asks if one concept subsumes another concept.
`Document` | `createTellsDocument(String kbURI)` A convenience method that creates an XML DIG Tells document.
`Iterator` | `getDIGQueryResponseIterator(OWLModel kb, Document doc)` Returns an iterator that can be used to traverse the responses to multiple queries.
`void` | `setReasonerIdentity(DIGReasonerIdentity reasonerIdentity)` Sets the reasoner identity that the translator will respect when it translates the ontology DIG.
`void` | `translateToDIG(OWLModel kb, Document doc, Node node)` Translates an OWLModel to DIG
`void` | `translateToDIG(RDFResource i, Document doc, Node node)` Translates an element of an OWLModel to DIG

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Field Detail

### DL_NAMESPACE

    public static final String DL_NAMESPACE

See Also:
  Constant Field Values

Constructor Detail

### DefaultDIGTranslator

    public DefaultDIGTranslator()

Method Detail

### setReasonerIdentity

    public void setReasonerIdentity(DIGReasonerIdentity reasonerIdentity)

  Description copied from interface: `DIGTranslator`
  Sets the reasoner identity that the translator will respect when it translates the ontology DIG.

  Specified by:
    `setReasonerIdentity` in interface `DIGTranslator`
  Parameters:
    `reasonerIdentity` - The reasoner identity, or `null` if the translation should not be constrained by the capabilities of a specific reasoner.

### createTellsDocument

    public Document createTellsDocument(String kbURI)

  Description copied from interface: `DIGTranslator`
  A convenience method that creates an XML DIG Tells document.

  Specified by:
    `createTellsDocument` in interface `DIGTranslator`
  Parameters:
    `kbURI` - The URI that specifies the external DIG reasoner knowledge base that the tells request relates to.

### createAsksDocument

    public Document createAsksDocument(String kbURI)

  Description copied from interface: `DIGTranslator`
  A convenience method that creates an XML DIG Asks document.

  Specified by:
    `createAsksDocument` in interface `DIGTranslator`
  Parameters:
    `kbURI` - The URI that specifies the external DIG reasoner knowledge base that the ask request should act upon.

### createDIGDocument

    public Document createDIGDocument(String rootTagName,
                                      String kbURI)

  Description copied from interface: `DIGTranslator`
  Creates an XML DIG Document, whose root contains the appropriate namespaces etc.

  Specified by:
    `createDIGDocument` in interface `DIGTranslator`
  Parameters:
    `rootTagName` - The name of the document root element.
    `kbURI` - The URI of the knowledge base held in the external DIG reasoner, which the document relates to.

### createDIGDocument

    public Document createDIGDocument(String rootTagName)

  Description copied from interface: `DIGTranslator`
  Creates an XML DIG Document, whose root contains the appropriate name spaces etc. The document created does not contain a knowledge base URI, and therfore cannot be used to formulate requests that will act on a specific knowledge base.

  Specified by:
    `createDIGDocument` in interface `DIGTranslator`
  Parameters:
    `rootTagName` - The name of the document root element.

### translateToDIG

    public void translateToDIG(OWLModel kb,
                               Document doc,
                               Node node)
                        throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Translates an OWLModel to DIG

  Specified by:
    `translateToDIG` in interface `DIGTranslator`
  Parameters:
    `kb` - The knowledge base to be translated
    `doc` - The Document that the rendering will be created in
    `node` - The parent node that the dig rendereing will be appended to
  Throws:
    `DIGReasonerException`

### translateToDIG

    public void translateToDIG(RDFResource i,
                               Document doc,
                               Node node)
                        throws DIGReasonerException

  Translates an element of an OWLModel to DIG

  Specified by:
    `translateToDIG` in interface `DIGTranslator`
  Parameters:
    `i` - The element to be translated
    `doc` - The Document that the rendering will be created in
    `node` - The parent node that the dig rendereing will be appended to
  Throws:
    `DIGReasonerException`

### getDIGQueryResponseIterator

    public Iterator getDIGQueryResponseIterator(OWLModel kb,
                                                Document doc)
                                         throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Returns an iterator that can be used to traverse the responses to multiple queries. The iterator will iterate over `DIGQueryResonse` objects.

  Specified by:
    `getDIGQueryResponseIterator` in interface `DIGTranslator`
  Throws:
    `DIGReasonerException`

### createQueryElement

    protected Element createQueryElement(Document doc,
                                         String name,
                                         String queryID)

### createAllConceptNamesQuery

    public void createAllConceptNamesQuery(Document doc,
                                           String queryID)

  Description copied from interface: `DIGTranslator`
  Creates a DIG Query that will return a list of the primitive concepts in the knowledge base.

  Specified by:
    `createAllConceptNamesQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.

### createAllPropertyNamesQuery

    public void createAllPropertyNamesQuery(Document doc,
                                            String queryID)

  Description copied from interface: `DIGTranslator`
  Creates a DIG Query that will return a list of properties in the knowledge base.

  Specified by:
    `createAllPropertyNamesQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.

### createAllIndividualsQuery

    public void createAllIndividualsQuery(Document doc,
                                          String queryID)

  Description copied from interface: `DIGTranslator`
  Create a DIG Query that will return a list of the individuals in the knowledge base.

  Specified by:
    `createAllIndividualsQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.

### createSatisfiableQuery

    public void createSatisfiableQuery(Document doc,
                                       String queryID,
                                       RDFSClass aClass)
                                throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks if a given class is satisfiable.

  Specified by:
    `createSatisfiableQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `aClass` - The class whose satisfiability/consistency is to be determined.
  Throws:
    `DIGReasonerException`

### createSatisfiableQuery

    public void createSatisfiableQuery(Document doc,
                                       String queryID,
                                       RDFSClass[] clses)
                                throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks if the intersection of a list of classes is satisfiable/consistent.

  Specified by:
    `createSatisfiableQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `clses` - An array of classes, whose intersection will be tested for satisfiability.
  Throws:
    `DIGReasonerException`

### createSubsumesQuery

    public void createSubsumesQuery(Document doc,
                                    String queryID,
                                    RDFSClass cls1,
                                    RDFSClass cls2)
                             throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks if one concept subsumes another concept.

  Specified by:
    `createSubsumesQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `cls1` - The cconcept that is the subsumer
    `cls2` - The concept that is the subsumee
  Throws:
    `DIGReasonerException`

### createDisjointQuery

    public void createDisjointQuery(Document doc,
                                    String queryID,
                                    RDFSClass cls1,
                                    RDFSClass cls2)
                             throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks if one concept is disjoint with another concept.

  Specified by:
    `createDisjointQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `cls1` - The first concept
    `cls2` - The second concept
  Throws:
    `DIGReasonerException`

### createDirectSuperConceptsQuery

    public void createDirectSuperConceptsQuery(Document doc,
                                               String queryID,
                                               RDFSClass aClass)
                                        throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks for the direct super concepts of a given concept.

  Specified by:
    `createDirectSuperConceptsQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `aClass` - The concept whose super concepts are to be asked for.
  Throws:
    `DIGReasonerException`

### createDirectSuperConceptsQuery

    public void createDirectSuperConceptsQuery(Document doc,
                                               String queryID,
                                               RDFSClass[] clses)
                                        throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks for the direct super concepts of an intersection of classes.

  Specified by:
    `createDirectSuperConceptsQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `clses` - An array of classes whose intersection super concepts are to be asked for.
  Throws:
    `DIGReasonerException`

### createDirectSubConceptsQuery

    public void createDirectSubConceptsQuery(Document doc,
                                             String queryID,
                                             RDFSClass aClass)
                                      throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks for the direct sub concepts of a given concept.

  Specified by:
    `createDirectSubConceptsQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `aClass` - The concept whose sub concepts are to be asked for.
  Throws:
    `DIGReasonerException`

### createAncestorConceptsQuery

    public void createAncestorConceptsQuery(Document doc,
                                            String queryID,
                                            RDFSClass aClass)
                                     throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks for the ancestor concepts of a given concept, this includes all super concepts (not just direct ones).

  Specified by:
    `createAncestorConceptsQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `aClass` - The concept whose ancestor concepts are to be asked for.
  Throws:
    `DIGReasonerException`

### createDescendantConceptsQuery

    public void createDescendantConceptsQuery(Document doc,
                                              String queryID,
                                              RDFSClass aClass)
                                       throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks for the descendant concepts of a given concept. This includes all sub concepts (not just direct ones).

  Specified by:
    `createDescendantConceptsQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `aClass` - The concept whose subconcepts are to be asked for.
  Throws:
    `DIGReasonerException`

### createEquivalentConceptsQuery

    public void createEquivalentConceptsQuery(Document doc,
                                              String queryID,
                                              RDFSClass aClass)
                                       throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks for the concepts that are equivalent (i.e. have the same extension as) to a given concept.

  Specified by:
    `createEquivalentConceptsQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `aClass` - The concepts whose equivalent concepts are to be asked for.
  Throws:
    `DIGReasonerException`

### createDirectSuperPropertiesQuery

    public void createDirectSuperPropertiesQuery(Document doc,
                                                 String queryID,
                                                 OWLProperty property)
                                          throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks for the direct super properties of a given property.

  Specified by:
    `createDirectSuperPropertiesQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `property` - The property (property) whose direct super properties are to be asked for.
  Throws:
    `DIGReasonerException`

### createDirectSubPropertiesQuery

    public void createDirectSubPropertiesQuery(Document doc,
                                               String queryID,
                                               OWLProperty property)
                                        throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks for the direct sub properties of a given property.

  Specified by:
    `createDirectSubPropertiesQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `property` - The property (property) whose direct sub properites are to be asked for.
  Throws:
    `DIGReasonerException`

### createAncestorPropertiesQuery

    public void createAncestorPropertiesQuery(Document doc,
                                              String queryID,
                                              OWLProperty property)
                                       throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks for the ancestor properties (i.e. all super properties and not just direct super properties) of a given property.

  Specified by:
    `createAncestorPropertiesQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `property` - The property (property) whose super properties are to be asked for.
  Throws:
    `DIGReasonerException`

### createDescendantPropertiesQuery

    public void createDescendantPropertiesQuery(Document doc,
                                                String queryID,
                                                OWLProperty property)
                                         throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks for the descendant properties (i.e. all sub properties and not just the direct sub properties) of a given property.

  Specified by:
    `createDescendantPropertiesQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `property` - The property (property) whose sub properties are to be asked for.
  Throws:
    `DIGReasonerException`

### createInstancesOfConceptQuery

    public void createInstancesOfConceptQuery(Document doc,
                                              String queryID,
                                              RDFSClass aClass)
                                       throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks for the instances (individuals belonging to) a given concept.

  Specified by:
    `createInstancesOfConceptQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `aClass` - The concept (RDFSClass) whose instances are to be asked for.
  Throws:
    `DIGReasonerException`

### createIndividualTypesQuery

    public void createIndividualTypesQuery(Document doc,
                                           String queryID,
                                           RDFIndividual ins)
                                    throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks for the types (concepts) that an individual belongs to.

  Specified by:
    `createIndividualTypesQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `ins` - The individual (RDFIndividual) whose types are to be asked for.
  Throws:
    `DIGReasonerException`

### createIndividualInstanceOfConceptQuery

    public void createIndividualInstanceOfConceptQuery(Document doc,
                                                       String queryID,
                                                       RDFIndividual ins,
                                                       RDFSClass aClass)
                                                throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks if an individual is an instance (member of) a given class.

  Specified by:
    `createIndividualInstanceOfConceptQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `ins` - The individual.
    `aClass` - The class.
  Throws:
    `DIGReasonerException`

### createPropertyFillersQuery

    public void createPropertyFillersQuery(Document doc,
                                           String queryID,
                                           RDFIndividual ins,
                                           OWLProperty property)
                                    throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks for the fillers for a qiven individual/property pair.

  Specified by:
    `createPropertyFillersQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `ins` - The individual (instance) that the property is 'attached' to.
    `property` - The property whose fillers are to be retrieved.
  Throws:
    `DIGReasonerException`

### createRelatedIndividualsQuery

    public void createRelatedIndividualsQuery(Document doc,
                                              String queryID,
                                              OWLProperty property)
                                       throws DIGReasonerException

  Description copied from interface: `DIGTranslator`
  Creates a query that asks for the individuals that are related to each other via a given property.

  Specified by:
    `createRelatedIndividualsQuery` in interface `DIGTranslator`
  Parameters:
    `doc` - The document that the query will be created in/appended to. Note that the knowledge base URI parameter of the document root element will determine the knowledge base that this query relates to.
    `queryID` - A `String` that represents an identifier for the query, which can be used to match the query to its result.
    `property` - The property (property).
  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.