Package com.bigdata.rdf.rules

Interface Summary

Interface	Description
InferenceEngine.Options	Options for the InferenceEngine.

Class Summary

Class	Description
AbstractInferenceEngineTestCase	Base class for test suites for inference engine and the magic sets implementation.
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
AbstractRuleTestCase
BackchainAccessPath	A read-only IAccessPath that backchains certain inferences.
BaseClosure	Base class for classes that provide closure programs.
DoNotAddFilter<E extends ISPO>	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
RuleOwlFunctionalProperty	owl:FunctionalProperty
RuleOwlHasValue	owl:hasValue
RuleOwlInverseFunctionalProperty	owl:InverseFunctionalProperty
RuleOwlInverseOf1	owl:inverseOf1
RuleOwlInverseOf2	owl:inverseOf2
RuleOwlSameAs1	owl:sameAs1
RuleOwlSameAs1b	owl:sameAs1b
RuleOwlSameAs2	owl:sameAs2
RuleOwlSameAs3	owl:sameAs3
RuleOwlSymmetricProperty	owl:SymmetricProperty
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.
TestAll	Aggregates test suites into increasing dependency order.
TestBackchainOwlSameAsPropertiesIterator	Test suite for BackchainOwlSameAsPropertiesIterator.
TestBackchainTypeResourceIterator	Test suite for BackchainTypeResourceIterator.
TestCompareFullAndFastClosure	Test suite comparing full fix point closure of RDFS entailments against the fast closure program for some known data sets (does not test truth maintenance under assertion and retraction or the justifications).
TestContextAdvancer	Test suite for the ContextAdvancer.
TestDatabaseAtOnceClosure	Unit tests for database at once closure, fix point of a rule set (does not test truth maintenance under assertion and retraction or the justifications).
TestDistinct	Unit tests for IQueryOptions.isDistinct().
TestDistinctTermScan	Test suite for the DistinctTermAdvancer.
TestJustifications	Test suite for writing, reading, chasing and retracting Justifications.
TestMappedProgram	MappedProgram is used to produce the full closure and fast closure programs and is responsible, together with TMUtility, for mapping those rules across the permutations of the [database/focusStore] views.
TestMatch	Unit tests for AbstractTripleStore.match(Literal[], URI[], URI).
TestModelsEqual	Test suite for TripleStoreUtility.modelsEqual(AbstractTripleStore, AbstractTripleStore)
TestOptionals
TestOrderBy	Unit tests for IQueryOptions.getOrderBy().
TestOwlSameAsPropertiesExpandingIterator	Test suite for OwlSameAsPropertiesExpandingIterator.
TestRuleExpansion
TestRuleFastClosure_11_13	Test suite for AbstractRuleFastClosure_11_13.
TestRuleFastClosure_3_5_6_7_9	Test suite for AbstractRuleFastClosure_3_5_6_7_9.
TestRuleOwlEquivalentClass	Test suite for RuleOwlEquivalentClass.
TestRuleOwlEquivalentProperty	Test suite for RuleOwlEquivalentProperty
TestRuleOwlFunctionalProperty	Test suite for owl:FunctionalProperty processing.
TestRuleOwlHasValue	Test suite for owl:hasValue processing.
TestRuleOwlInverseOf	Test suite for owl:inverseOf processing.
TestRuleOwlSameAs	Test suite for owl:sameAs processing.
TestRuleOwlSymmetricProperty	Test suite for owl:SymmetricProperty processing.
TestRuleOwlTransitiveProperty	Test suite for owl:transtitiveProperty processing.
TestRuleRdf01	Test suite for RuleRdf01.
TestRuleRdfs03	Test for RuleRdfs03.
TestRuleRdfs04	Test suite for RuleRdfs04a and RuleRdfs04b
TestRuleRdfs07	Note: rdfs 2, 3, 7, and 9 use the same base class.
TestRuleRdfs10	Note: rdfs 6, 8, 10, 12, and 13 use the same base clase.
TestRuleRdfs11	Note: rdfs 5 and 11 use the same base class.
TestSlice	Test for ISlice handling in native IRule execution.
TestTMUtility	Test suite for rule re-writes supporting truth maintenance for the RDF DB.
TestTruthMaintenance	Test suite for TruthMaintenance.
TestUnion	Unit test for processing of queries consisting of IPrograms comprised of more than one IRule.
TMUtility	A utility class for performing rule re-writes for RDF truth maintenance using a "focusStore" in addition to the primary database.

Enum Summary

Enum	Description
RuleContextEnum	Type-safe enumeration capturing the primary uses cases for rule execution.

Exception Summary

Exception	Description
ConstraintViolationException	We have two rules that can throw this exception - RuleOwlFunctionalProperty and RuleOwlInverseFunctionalProperty.