Package com.hp.hpl.jena.reasoner.dig

Interface Summary

DIGIdentifier	A structure that presents identification information about the attached DIG reasoner.
DIGProfile	Encapsulates the multiple extant versions of the DIG protocol, which have different expectations as to namespaces, XML encodings, and other variables.

Class Summary

DIGAdapter	An adapter class that mediates between a Jena InfGraph and a DIG reasoner process.
DIGConnection	Encapsulates the connection to a DIG reasoner.
DIGConnectionPool	Maintains a pool of active DIG connections and whether they are allocated or not.
DIGInfGraph	An InfGraph that performs reasoning via a DIG interface to an external reasoner.
DIGIteratedQueryTranslator	A specialisation of DIG query translator that aggregates iterated queries
DIGQueryAllConceptsTranslator	Translator that generates DIG allconcepts queries in response to a find query: * rdf:type owl:Class or similar.
DIGQueryAllIndividualsTranslator	Translator that generates DIG allIndividualNames queries
DIGQueryAllRolesTranslator	Translator that generates DIG allroleNames queries in response to a find query: * rdf:type owl:ObjectProperty or similar.
DIGQueryAncestorsTranslator	Translator that generates DIG ancestors/desendants queries in response to a find queries: :X rdf:subClassOf * * rdf:subClassOf :X or similar.
DIGQueryClassHierarchyTranslator	Translator that generates DIG queries in response to find queries that search the entire class hierarchy: * rdf:subClassOf * or similar.
DIGQueryDifferentFromTranslator	Translator for queries as to whether two ground individuals are different-from each other.
DIGQueryDisjointTranslator	Translator for queries about the disjoint-ness of two ground concepts
DIGQueryEquivalentsTranslator	Translator to map owl:equivalentClass to the DIG <equivalents> query.
DIGQueryInstancesTranslator	Translator that generates DIG instances queries in response to a find queries: * rdf:type :C or similar.
DIGQueryInstanceTranslator	Translator that generates DIG 'instance' queries in response to a find query: :x rdf:type :A or similar.
DIGQueryIsConceptTranslator	Translator that generates a DIG query to test whether a ground name is a class atom x rdf:type owl:Class or similar.
DIGQueryIsEquivalentTranslator	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).
DIGQueryIsIndividualTranslator	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 ) or similar.
DIGQueryIsRoleTranslator	Translator that generates a DIG query to test whether a ground name is an role atom x rdf:type owl:ObjectProperty or similar.
DIGQueryParentsTranslator	Translator that generates DIG parents/childre queries in response to a find queries: :X direct-subClassOf * * direct-subClassOf :X or similar.
DIGQueryRelatedIndividualsTranslator	Translator that generates DIG relatedIndividuals queries in response to a find queries: * :r * or similar.
DIGQueryRoleAncestorsTranslator	Translator that generates DIG role ancestors/desendants queries in response to a find queries: :X rdf:subPropertyOf * * rdf:subPropertyOf :X or similar.
DIGQueryRoleFillersTranslator	Translator that generates DIG roleFillers queries in response to a find queries: :a :r * or similar.
DIGQueryRoleFillerTranslator	Translator that generates a DIG roleFillers query in response to a find queries: :a :r :b where both a and b are known.
DIGQueryRoleHierarchyTranslator	Translator that generates DIG queries in response to find queries that search the entire class hierarchy: * rdf:subClassOf * or similar.
DIGQueryRoleParentsTranslator	Translator that generates DIG parents/childre queries in response to a find queries: :X direct-subClassOf * * direct-subClassOf :X or similar.
DIGQuerySubsumesTranslator	Translator that generates DIG allconcepts queries in response to a find query: :x rdf:subClassOf :y or similar.
DIGQueryTranslator	Base class for translators that map incoming RDF find patterns to DIG queries.
DIGQueryTypesTranslator	Translator that generates DIG 'types' queries in response to a find queries: :i rdf:type * or similar.
DIGReasoner	This reasoner is the generator of inf-graphs that can use an external DIG inference engine to perform DL reasoning tasks.
DIGReasonerFactory	Factory class for generating instances of DIG reasoners.
DIGValueToNodeMapper	Mapper to map DIG identifier names and concrete value elements to Jena graph nodes.
TripleObjectFiller	Mapper to create triples from a given predicate and subject
TripleSubjectFiller	Mapper to create triples from a given predicate and object

Exception Summary

DIGErrorResponseException	An exception that encapsulates an error response from the DIG server, including error number and message.
DIGInconsistentKBException	This exception denotes the special error condition that the remote reasoner detected an inconsistent knowledge base.
DIGReasonerException	Exception indicating that a problem has arisen in the interface to the DIG reasoner.
DIGWrappedException	An exception type that wraps a checked exception from the DIG interface as a Jena (runtime) exception.