com.hp.hpl.jena.reasoner.dig

An adapter class that mediates between a Jena InfGraph and a DIG reasoner process.

Encapsulates the connection to a DIG reasoner.

Maintains a pool of active DIG connections and whether they are allocated or not.

An exception that encapsulates an error response from the DIG server, including error number and message.

A structure that presents identification information about the attached DIG reasoner.

This exception denotes the special error condition that the remote reasoner detected an inconsistent knowledge base.

An InfGraph that performs reasoning via a DIG interface to an external reasoner.

Encapsulates the multiple extant versions of the DIG protocol, which have different expectations as to namespaces, XML encodings, and other variables.

Translator that generates DIG allconcepts queries in response to a find query:

 rdf:type owl:Class
 

Translator that generates DIG allroleNames queries in response to a find query:

 rdf:type owl:ObjectProperty
 

Translator that generates DIG ancestors/desendants queries in response to a find queries:

 :X rdf:subClassOf *
 rdf:subClassOf :X
 

Translator that generates DIG queries in response to find queries that search the entire class hierarchy:

 rdf:subClassOf *
 

Translator for queries as to whether two ground individuals are different-from each other. This does not have a direct translation in DIG at the moment; instead we ask if the class expressions formed from the set of each single individual are disjoint.

Translator to map owl:equivalentClass to the DIG <equivalents> query.

Translator that generates DIG instances queries in response to a find queries:

 rdf:type :C
 

Translator that generates DIG 'instance' queries in response to a find query:

 :x rdf:type :A
 

Translator that generates a DIG query to test whether a ground name is a class atom

 x rdf:type owl:Class
 

Translator to map variants of owl:equivalentClass to the DIG <equivalents> query, where the query is testing if two concepts are indeed equivalent (rather than listing the atoms that are, in fact, equivalent to a given concept, which is what DIGQueryEquivalentsTranslator does).

Translator that generates a DIG query to test whether a ground name is an individual atom

 x rdf:type owl:Thing,  or
 x rdf:type y  /\  isConcept( y )
 

Translator that generates a DIG query to test whether a ground name is an role atom

 x rdf:type owl:ObjectProperty
 

Translator that generates DIG parents/childre queries in response to a find queries:

 :X direct-subClassOf *
 direct-subClassOf :X
 

Translator that generates DIG relatedIndividuals queries in response to a find queries:

 :r *
 

Translator that generates DIG role ancestors/desendants queries in response to a find queries:

 :X rdf:subPropertyOf *
 rdf:subPropertyOf :X
 

Translator that generates DIG roleFillers queries in response to a find queries:

 :a :r *
 

Translator that generates a DIG roleFillers query in response to a find queries:

 :a :r :b
 

Translator that generates DIG queries in response to find queries that search the entire class hierarchy:

 rdf:subClassOf *
 

Translator that generates DIG parents/childre queries in response to a find queries:

 :X direct-subClassOf *
 direct-subClassOf :X
 

Translator that generates DIG allconcepts queries in response to a find query:

 :x rdf:subClassOf :y
 

Base class for translators that map incoming RDF find patterns to DIG queries.

Translator that generates DIG 'types' queries in response to a find queries:

 :i rdf:type *
 

This reasoner is the generator of inf-graphs that can use an external DIG inference engine to perform DL reasoning tasks.

Exception indicating that a problem has arisen in the interface to the DIG reasoner.

Factory class for generating instances of DIG reasoners.

Mapper to map DIG identifier names and concrete value elements to Jena graph nodes.

An exception type that wraps a checked exception from the DIG interface as a Jena (runtime) exception.