public class RuleRdf01 extends AbstractRuleDistinctTermScan
(?a rdf:type rdf:Property) :- ( ?u ?a ?y ).Note: This rule is evaluated using a
DistinctTermScan. The variables that DO NOT appear in the head of the rule remain unbound in the generated solutions (?u and ?y). When justifications are generated, those unbound variables will be represented as ZERO (0L)s and interpreted as wildcards.
|Constructor and Description|
getConstants, getConstraint, getConstraintCount, getConstraints, getHead, getName, getQueryOptions, getRequiredVariableCount, getRequiredVariables, getSharedVars, getSharedVars, getTail, getTail, getTailCount, getVariableCount, getVariableCount, getVariables, isConsistent, isDeclared, isFullyBound, isFullyBound, isRule, specialize, specialize, toString, toString, var
Copyright © 2006–2019 SYSTAP, LLC DBA Blazegraph. All rights reserved.