| Name | Description | Type | Package | Framework |
| AbstractInferenceEngineTestCase | Base class for test suites for inference engine and the magic setsVersion:$Id$Author:Bryan Thompson | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| AbstractRuleDistinctTermScan | Base class for rules having a single predicate that is none bound in the tail and a single variable in the head. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| AbstractRuleDistinctTermScan .DistinctTermScan | Selects the distinct term identifiers, substituting their binding in the sole unbound variable in the head of the rule. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| AbstractRuleFastClosure_11_13 | Rule for steps 11 and 13 of the "fast closure" method. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| AbstractRuleFastClosure_3_5_6_7_9 | Rule used in steps 3, 5, 6, 7, and 9 of the fast forward closure program. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| AbstractRuleFastClosure_3_5_6_7_9 .FastClosureRuleTask | Custom rule execution task. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| AbstractRuleFastClosure_3_5_6_7_9 .SubPropertiesOfClosureTask | Query the database for the sub properties of a given Pre-condition: The closure of rdfs:subPropertyOf has | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| AbstractRuleFastClosure_3_5_6_7_9 .SubPropertyClosureTask | Computes the set of possible sub properties of rdfs:subPropertyOf (P). | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| AbstractRuleFastClosure_5_6_7_9 | | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| AbstractRuleTestCase | | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| BackchainAccessPath | A read-only IAccessPath that backchains certain inferences. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| BaseClosure | Base class for classes that provide closure programs. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| ConstraintViolationException | We have two rules that can throw this exception - RuleOwlFunctionalProperty and | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| DoNotAddFilter | Filter keeps matched triple patterns generated OUT of the database. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| 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. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| FullClosure | A program that uses the fix point of the configured rules to compute the forward closure of the database. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| InferenceEngine | Flyweight object encapsulates some configuration state and provides methods to compute or update the closure of the database. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| InferenceEngine .Options | Options for the InferenceEngine. | Interface | com.bigdata.rdf.rules | BlazeGraph |
|
| MappedProgram | Program automatically maps the rules added across the combination of the database (the relation named on the rule) and the focusStore. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| MatchRule | Rule supporting AbstractTripleStore. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RDFJoinNexus | IProgram execution support for the RDF DB. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RDFJoinNexus .InsertSPOAndJustificationBuffer | Buffer writes on IMutableRelation#insert(IChunkedIterator) when it isVersion:$Id$Author:Bryan Thompson | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RDFJoinNexusFactory | Factory for RDFJoinNexus objects. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RejectAnythingSameAsItself | Rejects (x y z) iff x==z and y==owl:sameAs, where x, y, and z are variables. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleContextEnum | enum RuleContextEnum Type-safe enumeration capturing the primary uses cases for rule execution. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleFastClosure11 | Rule for step 11 of InferenceEngine#fastForwardClosure(). | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleFastClosure13 | Rule for step 13 of InferenceEngine#fastForwardClosure(). | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleFastClosure3 | | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleFastClosure5 | | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleFastClosure6 | | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleFastClosure7 | | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleFastClosure9 | | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleOwlEquivalentClass | (a owl:equivalentClass b) -> (b owl:equivalentClass a)Version:$Id$Author:Bryan ThompsonSee Also:Serialized Form | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleOwlEquivalentProperty | owl:equivalentProperty (a owl:equivalentProperty b) -> (b owl:equivalentProperty a) | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleOwlFunctionalProperty | owl:FunctionalProperty (p rdf:type owl:FunctionalProperty), (a p b), (a p c) -> | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleOwlHasValue | (x rdf:type a), (a rdf:type owl:Restriction), (a owl:onProperty p), (a owl:hasValue v) -> (x p v)Version:$Id$Author:Mike PersonickSee Also:Serialized Form | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleOwlInverseFunctionalProperty | owl:InverseFunctionalProperty (p rdf:type owl:InverseFunctionalProperty), (b p a), (c p a) -> | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleOwlInverseOf1 | owl:inverseOf1 : (a owl:inverseOf b) -> (b owl:inverseOf a)Version:$Id$Author:Bryan ThompsonSee Also:Serialized Form | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleOwlInverseOf2 | owl:inverseOf2 : (a owl:inverseOf b), (x a z) -> (z b x). | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleOwlSameAs1 | (x owl:sameAs y) -> (y owl:sameAs x)Version:$Id$Author:Bryan ThompsonSee Also:Serialized Form | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleOwlSameAs1b | (x owl:sameAs y), (y owl:sameAs z) -> (x owl:sameAs z)Version:$Id$Author:Bryan ThompsonSee Also:Serialized Form | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleOwlSameAs2 | (x owl:sameAs y), (x a z) -> (y a z). | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleOwlSameAs3 | (x owl:sameAs y), (z a x) -> (z a y). | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleOwlSymmetricProperty | owl:SymmetricProperty (x rdf:type owl:SymmetricProperty), (a x b) -> (b x a). | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleOwlTransitiveProperty1 | owl:TransitiveProperty1 (a rdf:type owl:TransitiveProperty), (x a y), (y a z) -> (x a z) | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleOwlTransitiveProperty2 | owl:TransitiveProperty2 (a rdf:type owl:TransitiveProperty), (b rdfs:subPropertyOf a) -> (b rdf:type owl:TransitiveProperty) | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleRdf01 | (?a rdf:type rdf:Property) :- ( ?u ?a ?y ). | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleRdfs02 | ( u rdf:type x) :- ( a rdfs:domain x), ( u a y ). | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleRdfs03 | triple(v rdf:type x) :- triple(a rdfs:range x), | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleRdfs04a | (?u ?a ?x) -> (?u rdf:type rdfs:Resource)Version:$Id$Author:Bryan ThompsonSee Also:Serialized Form | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleRdfs04b | (?u ?a ?v) -> (?v rdf:type rdfs:Resource) Note: Literals can be entailed in the subject position by this rule and MUST | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleRdfs05 | rdfs5: this variant uses a nested subquery and may be safely used during triple(?u,rdfs:subPropertyOf,?x) :- | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleRdfs06 | triple( ?u rdfs:subPropertyOf ?u ) :- triple( ?u rdf:type rdf:Property ). | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleRdfs07 | triple(?u,?b,?y) :- triple(?a,rdfs:subPropertyOf,?b), | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleRdfs08 | (?u rdfs:subClassOf rdfs:Resource) :- (?u rdf:type rdfs:Class). | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleRdfs09 | triple(?v,rdf:type,?x) :- triple(?u,rdfs:subClassOf,?x), | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleRdfs10 | triple(?u,rdfs:subClassOf,?u) :- triple(?u,rdf:type,rdfs:Class). | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleRdfs11 | rdfs11: this variant uses a nested subquery and may be safely used during triple(?u,rdfs:subClassOf,?x) :- | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleRdfs12 | (?u rdfs:subPropertyOf rdfs:member) :- (?u rdf:type rdfs:ContainerMembershipProperty). | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| RuleRdfs13 | (?u rdfs:subClassOf rdfs:Literal) :- (?u rdf:type rdfs:Datatype). | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| SPOBindingSetSerializer | A class that provides (relatively) compact serialization for a chunk of FIXME This implementation is not complete and is not tested. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestAll | Aggregates test suites into increasing dependency order. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestBackchainOwlSameAsPropertiesIterator | Test suite for BackchainOwlSameAsPropertiesIterator. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestBackchainTypeResourceIterator | Test suite for BackchainTypeResourceIterator. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| 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 | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestContextAdvancer | Test suite for the ContextAdvancer. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| 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). | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestDistinct | Unit tests for IQueryOptions. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestDistinctTermScan | Test suite for the DistinctTermAdvancer. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestJustifications | Test suite for writing, reading, chasing and retracting Justifications. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestMappedProgram | MappedProgram is used to produce the full closure and fast closure programs and is responsible, together with TMUtility, for mapping | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestMatch | Unit tests for AbstractTripleStore. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestModelsEqual | Test suite for TripleStoreUtility. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestOptionals | | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestOrderBy | Unit tests for IQueryOptions. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestOwlSameAsPropertiesExpandingIterator | Test suite for OwlSameAsPropertiesExpandingIterator. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestRuleExpansion | | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestRuleFastClosure_11_13 | Test suite for AbstractRuleFastClosure_11_13. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestRuleFastClosure_3_5_6_7_9 | Test suite for AbstractRuleFastClosure_3_5_6_7_9. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestRuleOwlEquivalentClass | Test suite for RuleOwlEquivalentClass. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestRuleOwlEquivalentProperty | Test suite for RuleOwlEquivalentPropertyVersion:$Id$Author:Bryan Thompson | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestRuleOwlFunctionalProperty | Test suite for owl:FunctionalProperty processing. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestRuleOwlHasValue | Test suite for owl:hasValue processing. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestRuleOwlInverseOf | Test suite for owl:inverseOf processing. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestRuleOwlSameAs | Test suite for owl:sameAs processing. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestRuleOwlSymmetricProperty | Test suite for owl:SymmetricProperty processing. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestRuleOwlTransitiveProperty | Test suite for owl:transtitiveProperty processing. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestRuleRdf01 | Test suite for RuleRdf01. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestRuleRdfs03 | Test for RuleRdfs03. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestRuleRdfs04 | Test suite for RuleRdfs04a and RuleRdfs04bVersion:$Id$Author:Bryan Thompson | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestRuleRdfs07 | Note: rdfs 2, 3, 7, and 9 use the same base class. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestRuleRdfs10 | Note: rdfs 6, 8, 10, 12, and 13 use the same base clase. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestRuleRdfs11 | Note: rdfs 5 and 11 use the same base class. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestSlice | Test for ISlice handling in native IRule execution. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestTMUtility | Test suite for rule re-writes supporting truth maintenance for the RDF DB. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestTruthMaintenance | Test suite for TruthMaintenance. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TestUnion | Unit test for processing of queries consisting of IPrograms comprised of more than one IRule. | Class | com.bigdata.rdf.rules | BlazeGraph |
|
| TMUtility | A utility class for performing rule re-writes for RDF truth maintenance using a "focusStore" in addition to the primary database. | Class | com.bigdata.rdf.rules | BlazeGraph |