com.bigdata.rdf.rules

Class RuleRdfs03

java.lang.Object

com.bigdata.relation.rule.Rule

com.bigdata.rdf.rules.RuleRdfs03

All Implemented Interfaces:

IRule, IStep, Serializable

public class RuleRdfs03
extends Rule

rdfs3:

    triple(v rdf:type x) :-
       triple(a rdfs:range x),
       triple(u a v).
 

Note: Literals can be entailed in the subject position by this rule and MUST be explicitly filtered out. That task is handled by the DoNotAddFilter. RuleRdfs04b is the other way that literals can be entailed into the subject position.

Version:

$Id$

Author:

Bryan Thompson

See Also:

Serialized Form

Field Summary

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

DEBUG, INFO, log

Constructor Summary

Constructors

Constructor and Description
RuleRdfs03(String relationName, Vocabulary vocab)

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

Constructor Detail

RuleRdfs03

public RuleRdfs03(String relationName,
          Vocabulary vocab)