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 |