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



Copyright © 2000, 2001, 2002, 2003, 2004, 2005 Hewlett-Packard Development Company, LP