Uses of Class uk.ac.manchester.cs.owl.inference.dig11.DIGReasonerException

Packages that use DIGReasonerException
uk.ac.manchester.cs.owl.inference.dig11

Methods in uk.ac.manchester.cs.owl.inference.dig11 that throw DIGReasonerException
`void`	`HTTPReasonerImpl.clearKnowledgeBase(java.lang.String kbURI)` Clears the knowledge base
`void`	`HTTPReasoner.clearKnowledgeBase(java.lang.String kbURI)` A helper method that clears the knowledge base
`void`	`DIGTranslator.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`	`DIGTranslator.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`	`DIGTranslator.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`	`DIGTranslatorImpl.createAncestorConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass)`
`void`	`DIGTranslator.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`	`DIGTranslatorImpl.createAncestorPropertiesQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLObjectProperty property)`
`void`	`DIGTranslator.createAncestorPropertiesQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLObjectProperty property)` Creates a query that asks for the ancestor properties (i.e.
`void`	`DIGTranslatorImpl.createDescendantConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass)`
`void`	`DIGTranslator.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`	`DIGTranslatorImpl.createDescendantPropertiesQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLObjectProperty property)`
`void`	`DIGTranslator.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`	`DIGTranslator.createDIGDocument(java.lang.String rootTagName, java.lang.String kbURI)` Creates an XML DIG Document, whose root contains the appropriate namespaces etc.
`void`	`DIGTranslatorImpl.createDirectSubConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass)`
`void`	`DIGTranslator.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`	`DIGTranslatorImpl.createDirectSubPropertiesQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLObjectProperty property)`
`void`	`DIGTranslator.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`	`DIGTranslatorImpl.createDirectSuperConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass)`
`void`	`DIGTranslator.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`	`DIGTranslatorImpl.createDirectSuperConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, java.util.Set<OWLDescription> clses)`
`void`	`DIGTranslator.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`	`DIGTranslatorImpl.createDirectSuperPropertiesQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLObjectProperty property)`
`void`	`DIGTranslator.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`	`DIGTranslatorImpl.createDisjointQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription cls1, OWLDescription cls2)`
`void`	`DIGTranslator.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`	`DIGTranslatorImpl.createEquivalentConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass)`
`void`	`DIGTranslator.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`	`DIGTranslatorImpl.createIndividualInstanceOfConceptQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLIndividual ins, OWLDescription aClass)`
`void`	`DIGTranslator.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`	`DIGTranslatorImpl.createIndividualTypesQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLIndividual ins)`
`void`	`DIGTranslator.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`	`DIGTranslatorImpl.createInstancesOfConceptQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass)`
`void`	`DIGTranslator.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.
`java.lang.String`	`HTTPReasonerImpl.createKnowledgeBase()` A helper method that asks the reasoner to create a new knowledgebase.
`java.lang.String`	`HTTPReasoner.createKnowledgeBase()` A helper method that asks the inference to create a new knowledgebase.
`void`	`DIGTranslatorImpl.createPropertyFillersQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLIndividual ins, OWLObjectProperty property)`
`void`	`DIGTranslator.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`	`DIGTranslatorImpl.createRelatedIndividualsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLObjectProperty property)`
`void`	`DIGTranslator.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`	`DIGTranslatorImpl.createSatisfiableQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass)`
`void`	`DIGTranslator.createSatisfiableQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass)` Creates a query that asks if a given class is satisfiable.
`void`	`DIGTranslatorImpl.createSatisfiableQuery(org.w3c.dom.Document doc, java.lang.String queryID, java.util.Set<OWLDescription> clses)`
`void`	`DIGTranslator.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`	`DIGTranslatorImpl.createSubsumesQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription cls1, OWLDescription cls2)`
`void`	`DIGTranslator.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.
`java.util.Set<java.util.Set<OWLClass>>`	`DIGQueryResponseImpl.getConceptSets()`
`java.util.Set<java.util.Set<OWLClass>>`	`DIGQueryResponse.getConceptSets()` If the query resulted in a concept set response type for example a query for super concepts then this method can be used to get the concepts.
`java.util.Iterator<DIGQueryResponse>`	`DIGTranslatorImpl.getDIGQueryResponseIterator(OWLDataFactory factory, org.w3c.dom.Document doc)`
`java.util.Iterator<DIGQueryResponse>`	`DIGTranslator.getDIGQueryResponseIterator(OWLDataFactory factory, org.w3c.dom.Document doc)` Returns an iterator that can be used to traverse the responses to multiple queries.
`DIGReasonerIdentity`	`HTTPReasonerImpl.getIdentity()` Gets the identity of the inference
`DIGReasonerIdentity`	`HTTPReasoner.getIdentity()` A helper method that gets the identity of the inference
`java.util.Set<OWLIndividual>`	`DIGQueryResponseImpl.getIndividuals()`
`java.util.Set<OWLIndividual>`	`DIGQueryResponse.getIndividuals()` If the query resulted in an individual set response type then this method may be used to obtain the individuals in the response.
`java.util.Set<java.util.Set<OWLObjectProperty>>`	`DIGQueryResponseImpl.getRoleSets()`
`java.util.Set<java.util.Set<OWLObjectProperty>>`	`DIGQueryResponse.getRoleSets()` If the query resulted in an object property set response type for example a query for super properties then this method can be used to get the concepts.
`org.w3c.dom.Document`	`HTTPReasonerImpl.performRequest(org.w3c.dom.Document request)`
`org.w3c.dom.Document`	`HTTPReasoner.performRequest(org.w3c.dom.Document request)` Sends a request to the reasoner and retrieves the response.
`void`	`HTTPReasonerImpl.releaseKnowledgeBase(java.lang.String kbURI)` A helper method that releases a previously created knowledgebase.
`void`	`HTTPReasoner.releaseKnowledgeBase(java.lang.String kbURI)` A helper method that releases a previously created knowledgebase.
`void`	`DIGTranslatorImpl.translateToDIG(OWLObject i, org.w3c.dom.Document doc, org.w3c.dom.Node node)` Translates an `OWLObject` to DIG
`void`	`DIGTranslator.translateToDIG(OWLObject i, org.w3c.dom.Document doc, org.w3c.dom.Node node)` Translates an OWLObject to DIG
`void`	`DIGTranslatorImpl.translateToDIG(java.util.Set<OWLOntology> ontologies, org.w3c.dom.Document doc, org.w3c.dom.Element node)`
`void`	`DIGTranslator.translateToDIG(java.util.Set<OWLOntology> ontologies, org.w3c.dom.Document doc, org.w3c.dom.Element node)` Translates a set of `OWLOntology` objects to DIG

void

HTTPReasonerImpl.clearKnowledgeBase(java.lang.String kbURI)
Clears the knowledge base

void

HTTPReasoner.clearKnowledgeBase(java.lang.String kbURI)
A helper method that clears the knowledge base

void

DIGTranslator.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

DIGTranslator.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

DIGTranslator.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

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

void

DIGTranslator.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

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

void

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

Creates a query that asks for the ancestor properties (i.e.

void

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

void

DIGTranslator.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

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

void

DIGTranslator.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

DIGTranslator.createDIGDocument(java.lang.String rootTagName,
                  java.lang.String kbURI)

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

void

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

void

DIGTranslator.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

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

void

DIGTranslator.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

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

void

DIGTranslator.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

DIGTranslatorImpl.createDirectSuperConceptsQuery(org.w3c.dom.Document doc,
                               java.lang.String queryID,
                               java.util.Set<OWLDescription> clses)

void

DIGTranslator.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

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

void

DIGTranslator.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

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

void

DIGTranslator.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

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

void

DIGTranslator.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

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

void

DIGTranslator.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

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

void

DIGTranslator.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

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

void

DIGTranslator.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.

java.lang.String

HTTPReasonerImpl.createKnowledgeBase()
A helper method that asks the reasoner to create a new knowledgebase.

java.lang.String

HTTPReasoner.createKnowledgeBase()
A helper method that asks the inference to create a new knowledgebase.

void

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

void

DIGTranslator.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

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

void

DIGTranslator.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

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

void

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

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

void

DIGTranslatorImpl.createSatisfiableQuery(org.w3c.dom.Document doc,
                       java.lang.String queryID,
                       java.util.Set<OWLDescription> clses)

void

DIGTranslator.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

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

void

DIGTranslator.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.

java.util.Set<java.util.Set<OWLClass>>

DIGQueryResponseImpl.getConceptSets()

java.util.Set<java.util.Set<OWLClass>>

DIGQueryResponse.getConceptSets()
If the query resulted in a concept set response type for example a query for super concepts then this method can be used to get the concepts.

java.util.Iterator<DIGQueryResponse>

DIGTranslatorImpl.getDIGQueryResponseIterator(OWLDataFactory factory,
                            org.w3c.dom.Document doc)

java.util.Iterator<DIGQueryResponse>

DIGTranslator.getDIGQueryResponseIterator(OWLDataFactory factory,
                            org.w3c.dom.Document doc)

Returns an iterator that can be used to traverse the responses to multiple queries.

DIGReasonerIdentity

HTTPReasonerImpl.getIdentity()
Gets the identity of the inference

DIGReasonerIdentity

HTTPReasoner.getIdentity()
A helper method that gets the identity of the inference

java.util.Set<OWLIndividual>

DIGQueryResponseImpl.getIndividuals()

java.util.Set<OWLIndividual>

DIGQueryResponse.getIndividuals()
If the query resulted in an individual set response type then this method may be used to obtain the individuals in the response.

java.util.Set<java.util.Set<OWLObjectProperty>>

DIGQueryResponseImpl.getRoleSets()

java.util.Set<java.util.Set<OWLObjectProperty>>

DIGQueryResponse.getRoleSets()
If the query resulted in an object property set response type for example a query for super properties then this method can be used to get the concepts.

org.w3c.dom.Document

HTTPReasonerImpl.performRequest(org.w3c.dom.Document request)

org.w3c.dom.Document

HTTPReasoner.performRequest(org.w3c.dom.Document request)
Sends a request to the reasoner and retrieves the response.

void

HTTPReasonerImpl.releaseKnowledgeBase(java.lang.String kbURI)
A helper method that releases a previously created knowledgebase.

void

HTTPReasoner.releaseKnowledgeBase(java.lang.String kbURI)
A helper method that releases a previously created knowledgebase.

void

DIGTranslatorImpl.translateToDIG(OWLObject i,
               org.w3c.dom.Document doc,
               org.w3c.dom.Node node)

Translates an OWLObject to DIG

void

DIGTranslator.translateToDIG(OWLObject i,
               org.w3c.dom.Document doc,
               org.w3c.dom.Node node)

Translates an OWLObject to DIG

void

DIGTranslatorImpl.translateToDIG(java.util.Set<OWLOntology> ontologies,
               org.w3c.dom.Document doc,
               org.w3c.dom.Element node)

void

DIGTranslator.translateToDIG(java.util.Set<OWLOntology> ontologies,
               org.w3c.dom.Document doc,
               org.w3c.dom.Element node)

Translates a set of OWLOntology objects to DIG

Uses of Classuk.ac.manchester.cs.owl.inference.dig11.DIGReasonerException

Uses of Class
uk.ac.manchester.cs.owl.inference.dig11.DIGReasonerException