uk.ac.manchester.cs.owl.inference.dig11
Interface DIGTranslator

All Known Implementing Classes:

DIGTranslatorImpl

public interface DIGTranslator

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 21-Nov-2006

Method Summary

void	createAllConceptNamesQuery(org.w3c.dom.Document doc, java.lang.String queryID) Creates a DIG Query that will return a list of the primitive concepts in the knowledge base.
void	createAllIndividualsQuery(org.w3c.dom.Document doc, java.lang.String queryID) Create a DIG Query that will return a list of the individuals in the knowledge base.
void	createAllPropertyNamesQuery(org.w3c.dom.Document doc, java.lang.String queryID) Creates a DIG Query that will return a list of properties in the knowledge base.
void	createAncestorConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription 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(org.w3c.dom.Document doc, java.lang.String queryID, OWLObjectProperty property) Creates a query that asks for the ancestor properties (i.e.
org.w3c.dom.Document	createAsksDocument(java.lang.String kbURI) A convenience method that creates an XML DIG Asks document.
void	createDescendantConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass) Creates a query that asks for the descendant concepts of a given concept.
void	createDescendantPropertiesQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLObjectProperty property) Creates a query that asks for the descendant properties (i.e.
org.w3c.dom.Document	createDIGDocument(java.lang.String rootTagName) Creates an XML DIG Document, whose root contains the appropriate name spaces etc.
org.w3c.dom.Document	createDIGDocument(java.lang.String rootTagName, java.lang.String kbURI) Creates an XML DIG Document, whose root contains the appropriate namespaces etc.
void	createDirectSubConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass) Creates a query that asks for the direct sub concepts of a given concept.
void	createDirectSubPropertiesQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLObjectProperty property) Creates a query that asks for the direct sub properties of a given property.
void	createDirectSuperConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass) Creates a query that asks for the direct super concepts of a given concept.
void	createDirectSuperConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, java.util.Set<OWLDescription> descriptions) Creates a query that asks for the direct super concepts of an intersection of classes.
void	createDirectSuperPropertiesQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLObjectProperty property) Creates a query that asks for the direct super properties of a given property.
void	createDisjointQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription cls1, OWLDescription cls2) Creates a query that asks if one concept is disjoint with another concept.
void	createEquivalentConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass) Creates a query that asks for the concepts that are equivalent (i.e.
void	createIndividualInstanceOfConceptQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLIndividual ins, OWLDescription aClass) Creates a query that asks if an individual is an instance (member of) a given class.
void	createIndividualTypesQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLIndividual ins) Creates a query that asks for the types (concepts) that an individual belongs to.
void	createInstancesOfConceptQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass) Creates a query that asks for the instances (individuals belonging to) a given concept.
void	createPropertyFillersQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLIndividual ins, OWLObjectProperty property) Creates a query that asks for the fillers for a qiven individual/property pair.
void	createRelatedIndividualsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLObjectProperty property) Creates a query that asks for the individuals that are related to each other via a given property.
void	createSatisfiableQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass) Creates a query that asks if a given class is satisfiable.
void	createSatisfiableQuery(org.w3c.dom.Document doc, java.lang.String queryID, java.util.Set<OWLDescription> descriptions) Creates a query that asks if the intersection of a set of classes is satisfiable/consistent.
void	createSubsumesQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription cls1, OWLDescription cls2) Creates a query that asks if one concept subsumes another concept.
org.w3c.dom.Document	createTellsDocument(java.lang.String kbURI) A convenience method that creates an XML DIG Tells document.
java.util.Iterator<DIGQueryResponse>	getDIGQueryResponseIterator(OWLDataFactory factory, org.w3c.dom.Document doc) Returns an iterator that can be used to traverse the responses to multiple queries.
void	translateToDIG(OWLObject i, org.w3c.dom.Document doc, org.w3c.dom.Node node) Translates an OWLObject to DIG
void	translateToDIG(java.util.Set<OWLOntology> ontologies, org.w3c.dom.Document doc, org.w3c.dom.Element node) Translates a set of OWLOntology objects to DIG

Method Detail

createDIGDocument

org.w3c.dom.Document createDIGDocument(java.lang.String rootTagName,
                                       java.lang.String kbURI)
                                       throws DIGReasonerException

Creates an XML DIG Document, whose root contains the appropriate namespaces etc.

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.

Throws:

DIGReasonerException

createDIGDocument

org.w3c.dom.Document createDIGDocument(java.lang.String rootTagName)

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.

Parameters:

rootTagName - The name of the document root element.

createTellsDocument

org.w3c.dom.Document createTellsDocument(java.lang.String kbURI)

A convenience method that creates an XML DIG Tells document.

Parameters:

kbURI - The URI that specifies the external DIG reasoner knowledge base that the tells request relates to.

createAsksDocument

org.w3c.dom.Document createAsksDocument(java.lang.String kbURI)

A convenience method that creates an XML DIG Asks document.

Parameters:

kbURI - The URI that specifies the external DIG reasoner knowledge base that the ask request should act upon.

translateToDIG

void translateToDIG(java.util.Set<OWLOntology> ontologies,
                    org.w3c.dom.Document doc,
                    org.w3c.dom.Element node)
                    throws OWLException,
                           DIGReasonerException

Translates a set of OWLOntology objects to DIG

Parameters:

ontologies - The ontologies 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

OWLException

translateToDIG

void translateToDIG(OWLObject i,
                    org.w3c.dom.Document doc,
                    org.w3c.dom.Node node)
                    throws DIGReasonerException

Translates an OWLObject to DIG

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

createAllConceptNamesQuery

void createAllConceptNamesQuery(org.w3c.dom.Document doc,
                                java.lang.String queryID)
                                throws DIGReasonerException

Creates a DIG Query that will return a list of the primitive concepts in the knowledge base.

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.

Throws:

DIGReasonerException

createAllPropertyNamesQuery

void createAllPropertyNamesQuery(org.w3c.dom.Document doc,
                                 java.lang.String queryID)
                                 throws DIGReasonerException

Creates a DIG Query that will return a list of properties in the knowledge base.

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.

Throws:

DIGReasonerException

createAllIndividualsQuery

void createAllIndividualsQuery(org.w3c.dom.Document doc,
                               java.lang.String queryID)
                               throws DIGReasonerException

Create a DIG Query that will return a list of the individuals in the knowledge base.

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.

Throws:

DIGReasonerException

createSatisfiableQuery

void createSatisfiableQuery(org.w3c.dom.Document doc,
                            java.lang.String queryID,
                            OWLDescription aClass)
                            throws DIGReasonerException

Creates a query that asks if a given class is satisfiable.

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

void createSatisfiableQuery(org.w3c.dom.Document doc,
                            java.lang.String queryID,
                            java.util.Set<OWLDescription> descriptions)
                            throws DIGReasonerException

Creates a query that asks if the intersection of a set of classes is satisfiable/consistent.

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.

descriptions - A set of classes, whose intersection will be tested for satisfiability.

Throws:

DIGReasonerException

createSubsumesQuery

void createSubsumesQuery(org.w3c.dom.Document doc,
                         java.lang.String queryID,
                         OWLDescription cls1,
                         OWLDescription cls2)
                         throws DIGReasonerException

Creates a query that asks if one concept subsumes another concept.

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

void createDisjointQuery(org.w3c.dom.Document doc,
                         java.lang.String queryID,
                         OWLDescription cls1,
                         OWLDescription cls2)
                         throws DIGReasonerException

Creates a query that asks if one concept is disjoint with another concept.

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

void createDirectSuperConceptsQuery(org.w3c.dom.Document doc,
                                    java.lang.String queryID,
                                    OWLDescription aClass)
                                    throws DIGReasonerException

Creates a query that asks for the direct super concepts of a given concept.

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

void createDirectSuperConceptsQuery(org.w3c.dom.Document doc,
                                    java.lang.String queryID,
                                    java.util.Set<OWLDescription> descriptions)
                                    throws DIGReasonerException

Creates a query that asks for the direct super concepts of an intersection of classes.

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.

descriptions - A set of classes whose intersection super concepts are to be asked for.

Throws:

DIGReasonerException

createDirectSubConceptsQuery

void createDirectSubConceptsQuery(org.w3c.dom.Document doc,
                                  java.lang.String queryID,
                                  OWLDescription aClass)
                                  throws DIGReasonerException

Creates a query that asks for the direct sub concepts of a given concept.

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

void createAncestorConceptsQuery(org.w3c.dom.Document doc,
                                 java.lang.String queryID,
                                 OWLDescription aClass)
                                 throws DIGReasonerException

Creates a query that asks for the ancestor concepts of a given concept, this includes all super concepts (not just direct ones).

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

void createDescendantConceptsQuery(org.w3c.dom.Document doc,
                                   java.lang.String queryID,
                                   OWLDescription aClass)
                                   throws DIGReasonerException

Creates a query that asks for the descendant concepts of a given concept. This includes all sub concepts (not just direct ones).

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

void createEquivalentConceptsQuery(org.w3c.dom.Document doc,
                                   java.lang.String queryID,
                                   OWLDescription aClass)
                                   throws DIGReasonerException

Creates a query that asks for the concepts that are equivalent (i.e. have the same extension as) to a given concept.

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

void createDirectSuperPropertiesQuery(org.w3c.dom.Document doc,
                                      java.lang.String queryID,
                                      OWLObjectProperty property)
                                      throws DIGReasonerException

Creates a query that asks for the direct super properties of a given property.

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

void createDirectSubPropertiesQuery(org.w3c.dom.Document doc,
                                    java.lang.String queryID,
                                    OWLObjectProperty property)
                                    throws DIGReasonerException

Creates a query that asks for the direct sub properties of a given property.

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

void createAncestorPropertiesQuery(org.w3c.dom.Document doc,
                                   java.lang.String queryID,
                                   OWLObjectProperty property)
                                   throws DIGReasonerException

Creates a query that asks for the ancestor properties (i.e. all super properties and not just direct super properties) of a given property.

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

void createDescendantPropertiesQuery(org.w3c.dom.Document doc,
                                     java.lang.String queryID,
                                     OWLObjectProperty property)
                                     throws DIGReasonerException

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.

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

void createInstancesOfConceptQuery(org.w3c.dom.Document doc,
                                   java.lang.String queryID,
                                   OWLDescription aClass)
                                   throws DIGReasonerException

Creates a query that asks for the instances (individuals belonging to) a given concept.

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

void createIndividualTypesQuery(org.w3c.dom.Document doc,
                                java.lang.String queryID,
                                OWLIndividual ins)
                                throws DIGReasonerException

Creates a query that asks for the types (concepts) that an individual belongs to.

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

void createIndividualInstanceOfConceptQuery(org.w3c.dom.Document doc,
                                            java.lang.String queryID,
                                            OWLIndividual ins,
                                            OWLDescription aClass)
                                            throws DIGReasonerException

Creates a query that asks if an individual is an instance (member of) a given class.

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

void createPropertyFillersQuery(org.w3c.dom.Document doc,
                                java.lang.String queryID,
                                OWLIndividual ins,
                                OWLObjectProperty property)
                                throws DIGReasonerException

Creates a query that asks for the fillers for a qiven individual/property pair.

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

void createRelatedIndividualsQuery(org.w3c.dom.Document doc,
                                   java.lang.String queryID,
                                   OWLObjectProperty property)
                                   throws DIGReasonerException

Creates a query that asks for the individuals that are related to each other via a given property.

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

getDIGQueryResponseIterator

java.util.Iterator<DIGQueryResponse> getDIGQueryResponseIterator(OWLDataFactory factory,
                                                                 org.w3c.dom.Document doc)
                                                                 throws DIGReasonerException

Returns an iterator that can be used to traverse the responses to multiple queries. The iterator will iterate over DIGQueryResonse objects.

Throws:

DIGReasonerException