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
|