com.bigdata.rdf.rules
Class AbstractRuleFastClosure_11_13

java.lang.Object
  com.bigdata.relation.rule.Rule
      com.bigdata.rdf.rules.AbstractRuleFastClosure_11_13

All Implemented Interfaces:

IRule, IStep, Serializable

Direct Known Subclasses:

RuleFastClosure11, RuleFastClosure13

public abstract class AbstractRuleFastClosure_11_13
extends Rule

Rule for steps 11 and 13 of the "fast closure" method.

Note: this rule is not very selective and does not produce new entailments unless your ontology and your application both rely on domain/range to confer type information. If you explicitly type your instances then this will not add information during closure.

Step 11.

 (?x, rdf:type, ?b) :-
     (?x, ?y, ?z),
     (?y, rdfs:subPropertyOf, ?a),
     (?a, rdfs:domain, ?b).
 

Step 13.

 (?z, rdf:type, ?b ) :-
       (?x, ?y, ?z),
       (?y, rdfs:subPropertyOf, ?a),
       (?a, rdfs:range, ?b ).
 

See Also:

TestRuleFastClosure_11_13, Serialized Form

Field Summary

protected long

propertyId

Fields inherited from class com.bigdata.relation.rule.Rule

DEBUG, INFO, log

Constructor Summary

AbstractRuleFastClosure_11_13(String name, SPOPredicate head, SPOPredicate[] body, IConstraint[] constraints)

Method Summary

Methods inherited from class com.bigdata.relation.rule.Rule

getConstants, getConstraint, getConstraintCount, getConstraints, getHead, getName, getQueryOptions, getSharedVars, getSharedVars, getTail, getTail, getTailCount, getTaskFactory, getVariableCount, getVariableCount, getVariables, isConsistent, isDeclared, isFullyBound, isFullyBound, isRule, specialize, specialize, toString, toString, var

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

propertyId

protected final long propertyId

Constructor Detail

AbstractRuleFastClosure_11_13

public AbstractRuleFastClosure_11_13(String name,
                                     SPOPredicate head,
                                     SPOPredicate[] body,
                                     IConstraint[] constraints)

Parameters:

head -

body -

constraints -