|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
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. all super properties and not just direct super properties) of a given property. |
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. all sub properties and not just the direct sub properties) of a given property. |
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 |
|---|
org.w3c.dom.Document createDIGDocument(java.lang.String rootTagName,
java.lang.String kbURI)
throws DIGReasonerException
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.
DIGReasonerExceptionorg.w3c.dom.Document createDIGDocument(java.lang.String rootTagName)
rootTagName - The name of the document root element.org.w3c.dom.Document createTellsDocument(java.lang.String kbURI)
kbURI - The URI that specifies the external DIG reasoner
knowledge base that the tells request relates to.org.w3c.dom.Document createAsksDocument(java.lang.String kbURI)
kbURI - The URI that specifies the external DIG reasoner
knowledge base that the ask request should act upon.
void translateToDIG(java.util.Set<OWLOntology> ontologies,
org.w3c.dom.Document doc,
org.w3c.dom.Element node)
throws OWLException,
DIGReasonerException
OWLOntology objects to DIG
ontologies - The ontologies to be translateddoc - The Document that the rendering will be created innode - The parent node that the dig rendereing will be appended to
DIGReasonerException
OWLException
void translateToDIG(OWLObject i,
org.w3c.dom.Document doc,
org.w3c.dom.Node node)
throws DIGReasonerException
i - The element to be translateddoc - The Document that the rendering will be created innode - The parent node that the dig rendereing will be appended to
DIGReasonerException
void createAllConceptNamesQuery(org.w3c.dom.Document doc,
java.lang.String queryID)
throws DIGReasonerException
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.
DIGReasonerException
void createAllPropertyNamesQuery(org.w3c.dom.Document doc,
java.lang.String queryID)
throws DIGReasonerException
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.
DIGReasonerException
void createAllIndividualsQuery(org.w3c.dom.Document doc,
java.lang.String queryID)
throws DIGReasonerException
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.
DIGReasonerException
void createSatisfiableQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
OWLDescription aClass)
throws DIGReasonerException
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.
DIGReasonerException
void createSatisfiableQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
java.util.Set<OWLDescription> descriptions)
throws DIGReasonerException
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.
DIGReasonerException
void createSubsumesQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
OWLDescription cls1,
OWLDescription cls2)
throws DIGReasonerException
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 subsumercls2 - The concept that is the subsumee
DIGReasonerException
void createDisjointQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
OWLDescription cls1,
OWLDescription cls2)
throws DIGReasonerException
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 conceptcls2 - The second concept
DIGReasonerException
void createDirectSuperConceptsQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
OWLDescription aClass)
throws DIGReasonerException
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.
DIGReasonerException
void createDirectSuperConceptsQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
java.util.Set<OWLDescription> descriptions)
throws DIGReasonerException
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.
DIGReasonerException
void createDirectSubConceptsQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
OWLDescription aClass)
throws DIGReasonerException
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.
DIGReasonerException
void createAncestorConceptsQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
OWLDescription aClass)
throws DIGReasonerException
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.
DIGReasonerException
void createDescendantConceptsQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
OWLDescription aClass)
throws DIGReasonerException
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.
DIGReasonerException
void createEquivalentConceptsQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
OWLDescription aClass)
throws DIGReasonerException
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.
DIGReasonerException
void createDirectSuperPropertiesQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
OWLObjectProperty property)
throws DIGReasonerException
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.
DIGReasonerException
void createDirectSubPropertiesQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
OWLObjectProperty property)
throws DIGReasonerException
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.
DIGReasonerException
void createAncestorPropertiesQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
OWLObjectProperty property)
throws DIGReasonerException
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.
DIGReasonerException
void createDescendantPropertiesQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
OWLObjectProperty property)
throws DIGReasonerException
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.
DIGReasonerException
void createInstancesOfConceptQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
OWLDescription aClass)
throws DIGReasonerException
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.
DIGReasonerException
void createIndividualTypesQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
OWLIndividual ins)
throws DIGReasonerException
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.
DIGReasonerException
void createIndividualInstanceOfConceptQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
OWLIndividual ins,
OWLDescription aClass)
throws DIGReasonerException
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.
DIGReasonerException
void createPropertyFillersQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
OWLIndividual ins,
OWLObjectProperty property)
throws DIGReasonerException
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.
DIGReasonerException
void createRelatedIndividualsQuery(org.w3c.dom.Document doc,
java.lang.String queryID,
OWLObjectProperty property)
throws DIGReasonerException
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).
DIGReasonerException
java.util.Iterator<DIGQueryResponse> getDIGQueryResponseIterator(OWLDataFactory factory,
org.w3c.dom.Document doc)
throws DIGReasonerException
DIGQueryResonse
objects.
DIGReasonerException
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||