|
Class Summary |
| AbstractRuleDistinctTermScan |
Base class for rules having a single predicate that is none bound in the tail
and a single variable in the head. |
| AbstractRuleDistinctTermScan.DistinctTermScan |
Selects the distinct term identifiers, substituting their binding in the
sole unbound variable in the head of the rule. |
| AbstractRuleFastClosure_11_13 |
Rule for steps 11 and 13 of the "fast closure" method. |
| AbstractRuleFastClosure_3_5_6_7_9 |
Rule used in steps 3, 5, 6, 7, and 9 of the fast forward closure program. |
| AbstractRuleFastClosure_3_5_6_7_9.FastClosureRuleTask |
Custom rule execution task. |
| AbstractRuleFastClosure_3_5_6_7_9.SubPropertiesOfClosureTask |
Query the database for the sub properties of a given
property. |
| AbstractRuleFastClosure_3_5_6_7_9.SubPropertyClosureTask |
Computes the set of possible sub properties of rdfs:subPropertyOf (P). |
| AbstractRuleFastClosure_5_6_7_9 |
|
| BackchainAccessPath |
A read-only IAccessPath that backchains certain inferences. |
| BaseClosure |
Base class for classes that provide closure programs. |
| DoNotAddFilter |
Filter keeps matched triple patterns generated OUT of the database. |
| FastClosure |
Fast forward closure of the store based on "An approach to RDF(S)
Query, Manipulation and Inference on Databases" by Lu, Yu, Tu, Lin, and Zhang. |
| FullClosure |
A program that uses the fix point of the configured rules to compute the
forward closure of the database. |
| InferenceEngine |
Flyweight object encapsulates some configuration state and provides methods
to compute or update the closure of the database. |
| MappedProgram |
Program automatically maps the rules added across the combination of the
database (the relation named on the rule) and the focusStore. |
| MatchRule |
Rule supporting AbstractTripleStore.match(Literal[], URI[], URI). |
| RDFJoinNexus |
IProgram execution support for the RDF DB. |
| RDFJoinNexus.InsertSPOAndJustificationBuffer<E> |
Buffer writes on IMutableRelation#insert(IChunkedIterator) when it is
flushed. |
| RDFJoinNexusFactory |
Factory for RDFJoinNexus objects. |
| RejectAnythingSameAsItself |
Rejects (x y z) iff x==z and y==owl:sameAs, where x, y, and z are variables. |
| RuleFastClosure11 |
Rule for step 11 of InferenceEngine#fastForwardClosure(). |
| RuleFastClosure13 |
Rule for step 13 of InferenceEngine#fastForwardClosure(). |
| RuleFastClosure3 |
|
| RuleFastClosure5 |
|
| RuleFastClosure6 |
|
| RuleFastClosure7 |
|
| RuleFastClosure9 |
|
| RuleOwlEquivalentClass |
owl:equivalentClass |
| RuleOwlEquivalentProperty |
owl:equivalentProperty |
| RuleOwlHasValue |
owl:hasValue |
| RuleOwlInverseOf1 |
owl:inverseOf1 |
| RuleOwlInverseOf2 |
owl:inverseOf2 |
| RuleOwlSameAs1 |
owl:sameAs1 |
| RuleOwlSameAs1b |
owl:sameAs1b |
| RuleOwlSameAs2 |
owl:sameAs2 |
| RuleOwlSameAs3 |
owl:sameAs3 |
| RuleOwlTransitiveProperty1 |
owl:TransitiveProperty1 |
| RuleOwlTransitiveProperty2 |
owl:TransitiveProperty2 |
| RuleRdf01 |
rdf1: |
| RuleRdfs02 |
rdfs2: |
| RuleRdfs03 |
rdfs3: |
| RuleRdfs04a |
rdfs4a: |
| RuleRdfs04b |
rdfs4b: |
| RuleRdfs05 |
rdfs5: this variant uses a nested subquery and may be safely used during
truth maintenance. |
| RuleRdfs06 |
rdfs6: |
| RuleRdfs07 |
rdfs7: |
| RuleRdfs08 |
rdfs8: |
| RuleRdfs09 |
rdfs9: |
| RuleRdfs10 |
rdfs10: |
| RuleRdfs11 |
rdfs11: this variant uses a nested subquery and may be safely used during
truth maintenance. |
| RuleRdfs12 |
rdfs12: |
| RuleRdfs13 |
rdfs13: |
| SPOBindingSetSerializer |
A class that provides (relatively) compact serialization for a chunk of
IBindingSets. |
| TMUtility |
A utility class for performing rule re-writes for RDF truth maintenance using
a "focusStore" in addition to the primary database. |