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

Fields

Modifier and Type	Field and Description
protected IV	propertyId

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

DEBUG, INFO, log

Constructor Summary

Constructors

Constructor and Description
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, getRequiredVariableCount, getRequiredVariables, 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 IV propertyId

Constructor Detail

AbstractRuleFastClosure_11_13

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

Parameters:

head -

body -

constraints -