Class RDFSRules
java.lang.Object
org.eclipse.rdf4j.sail.inferencer.fc.RDFSRules
Constants representing the RDF+RDFS entailment rules from the RDF Semantics W3C Recommendation (10 February 2004).
See http://www.w3.org/TR/2004/REC-rdf-mt-20040210/ Each entailment rule in the specification has either one or two
premises. To allow the inferencer to distinguish triggering of rules for both premises, entailment rules that have
two premises are represented by two separate constants, one for each premise. An additional entailment rule, X1, is
added to capture list membership property assertions.
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final boolean
static final int
rule rdf1: xxx aaa yyy --> aaa rdf:type rdf:Propertystatic final int
rule rdfs10: xxx rdf:type rdfs:Class --> xxx rdfs:subClassOf xxx reflexivity of rdfs:subClassOfstatic final int
rule rdfs11_1: xxx rdfs:subClassOf yyy invalid input: '&'invalid input: '&' (nt) yyy rdfs:subClassOf zzz --> (t1) xxx rdfs:subClassOf zzz (t2) transitivity of rdfs:subClassOfstatic final int
rule rdfs11_2: yyy rdfs:subClassOf zzz invalid input: '&'invalid input: '&' (nt) xxx rdfs:subClassOf yyy --> (t1) xxx rdfs:subClassOf zzz (t2) transitivity of rdfs:subClassOfstatic final int
rule rdfs12: xxx rdf:type rdfs:ContainerMembershipProperty --> xxx rdfs:subPropertyOf rdfs:memberstatic final int
rule rdfs13: xxx rdf:type rdfs:Datatype --> xxx rdfs:subClassOf rdfs:Literalstatic final int
rule rdfs2_1: xxx aaa yyy invalid input: '&'invalid input: '&' (nt) aaa rdfs:domain zzz --> (t1) xxx rdf:type zzz (t2)static final int
rule rdfs2_2: aaa rdfs:domain zzz invalid input: '&'invalid input: '&' (nt) xxx aaa yyy --> (t1) xxx rdf:type zzz (t2)static final int
rule rdfs3_1: xxx aaa uuu invalid input: '&'invalid input: '&' (nt) aaa rdfs:range zzz --> (t1) uuu rdf:type zzz (t2)static final int
rule rdfs3_2.static final int
rule rdfs4a: xxx aaa yyy --> xxx rdf:type rdfs:Resourcestatic final int
rule rdfs4b: xxx aaa uuu --> uuu rdf:type rdfs:Resourcestatic final int
rule rdfs5_1: aaa rdfs:subPropertyOf bbb invalid input: '&'invalid input: '&' (nt) bbb rdfs:subPropertyOf ccc --> (t1) aaa rdfs:subPropertyOf ccc (t2) transitivity of rdfs:subPropertyOfstatic final int
rule rdfs5_2: bbb rdfs:subPropertyOf ccc invalid input: '&'invalid input: '&' (nt) aaa rdfs:subPropertyOf bbb --> (t1) aaa rdfs:subPropertyOf ccc (t2) transitivity of rdfs:subPropertyOfstatic final int
rule rdfs6: xxx rdf:type rdf:Property --> xxx rdfs:subPropertyOf xxx reflexivity of rdfs:subPropertyOfstatic final int
rule rdfs7_1: xxx aaa yyy invalid input: '&'invalid input: '&' (nt) aaa rdfs:subPropertyOf bbb --> (t1) xxx bbb yyy (t2)static final int
rule rdfs7_2: aaa rdfs:subPropertyOf bbb invalid input: '&'invalid input: '&' (nt) xxx aaa yyy --> (t1) xxx bbb yyy (t2)static final int
rule rdfs8: xxx rdf:type rdfs:Class --> xxx rdfs:subClassOf rdfs:Resourcestatic final int
rule rdfs9_1: xxx rdfs:subClassOf yyy invalid input: '&'invalid input: '&' (nt) aaa rdf:type xxx --> (t1) aaa rdf:type yyy (t2)static final int
rule rdfs9_2: aaa rdf:type xxx invalid input: '&'invalid input: '&' (nt) xxx rdfs:subClassOf yyy --> (t1) aaa rdf:type yyy (t2)static final int
static final String[]
static final int
rule X1: xxx rdf:_* yyy --> rdf:_* rdf:type rdfs:ContainerMembershipProperty This is an extra rule for list membership properties (_1, _2, _3, ...).static final boolean[][]
Table of triggers for entailment rules.private static final boolean
-
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
Rdf1
public static final int Rdf1rule rdf1: xxx aaa yyy --> aaa rdf:type rdf:Property- See Also:
-
Rdfs2_1
public static final int Rdfs2_1rule rdfs2_1: xxx aaa yyy invalid input: '&'invalid input: '&' (nt) aaa rdfs:domain zzz --> (t1) xxx rdf:type zzz (t2)- See Also:
-
Rdfs2_2
public static final int Rdfs2_2rule rdfs2_2: aaa rdfs:domain zzz invalid input: '&'invalid input: '&' (nt) xxx aaa yyy --> (t1) xxx rdf:type zzz (t2)- See Also:
-
Rdfs3_1
public static final int Rdfs3_1rule rdfs3_1: xxx aaa uuu invalid input: '&'invalid input: '&' (nt) aaa rdfs:range zzz --> (t1) uuu rdf:type zzz (t2)- See Also:
-
Rdfs3_2
public static final int Rdfs3_2rule rdfs3_2. aaa rdfs:range zzz invalid input: '&'invalid input: '&' (nt) xxx aaa uuu --> (t1) uuu rdf:type zzz (t2)- See Also:
-
Rdfs4a
public static final int Rdfs4arule rdfs4a: xxx aaa yyy --> xxx rdf:type rdfs:Resource- See Also:
-
Rdfs4b
public static final int Rdfs4brule rdfs4b: xxx aaa uuu --> uuu rdf:type rdfs:Resource- See Also:
-
Rdfs5_1
public static final int Rdfs5_1rule rdfs5_1: aaa rdfs:subPropertyOf bbb invalid input: '&'invalid input: '&' (nt) bbb rdfs:subPropertyOf ccc --> (t1) aaa rdfs:subPropertyOf ccc (t2) transitivity of rdfs:subPropertyOf- See Also:
-
Rdfs5_2
public static final int Rdfs5_2rule rdfs5_2: bbb rdfs:subPropertyOf ccc invalid input: '&'invalid input: '&' (nt) aaa rdfs:subPropertyOf bbb --> (t1) aaa rdfs:subPropertyOf ccc (t2) transitivity of rdfs:subPropertyOf- See Also:
-
Rdfs6
public static final int Rdfs6rule rdfs6: xxx rdf:type rdf:Property --> xxx rdfs:subPropertyOf xxx reflexivity of rdfs:subPropertyOf- See Also:
-
Rdfs7_1
public static final int Rdfs7_1rule rdfs7_1: xxx aaa yyy invalid input: '&'invalid input: '&' (nt) aaa rdfs:subPropertyOf bbb --> (t1) xxx bbb yyy (t2)- See Also:
-
Rdfs7_2
public static final int Rdfs7_2rule rdfs7_2: aaa rdfs:subPropertyOf bbb invalid input: '&'invalid input: '&' (nt) xxx aaa yyy --> (t1) xxx bbb yyy (t2)- See Also:
-
Rdfs8
public static final int Rdfs8rule rdfs8: xxx rdf:type rdfs:Class --> xxx rdfs:subClassOf rdfs:Resource- See Also:
-
Rdfs9_1
public static final int Rdfs9_1rule rdfs9_1: xxx rdfs:subClassOf yyy invalid input: '&'invalid input: '&' (nt) aaa rdf:type xxx --> (t1) aaa rdf:type yyy (t2)- See Also:
-
Rdfs9_2
public static final int Rdfs9_2rule rdfs9_2: aaa rdf:type xxx invalid input: '&'invalid input: '&' (nt) xxx rdfs:subClassOf yyy --> (t1) aaa rdf:type yyy (t2)- See Also:
-
Rdfs10
public static final int Rdfs10rule rdfs10: xxx rdf:type rdfs:Class --> xxx rdfs:subClassOf xxx reflexivity of rdfs:subClassOf- See Also:
-
Rdfs11_1
public static final int Rdfs11_1rule rdfs11_1: xxx rdfs:subClassOf yyy invalid input: '&'invalid input: '&' (nt) yyy rdfs:subClassOf zzz --> (t1) xxx rdfs:subClassOf zzz (t2) transitivity of rdfs:subClassOf- See Also:
-
Rdfs11_2
public static final int Rdfs11_2rule rdfs11_2: yyy rdfs:subClassOf zzz invalid input: '&'invalid input: '&' (nt) xxx rdfs:subClassOf yyy --> (t1) xxx rdfs:subClassOf zzz (t2) transitivity of rdfs:subClassOf- See Also:
-
Rdfs12
public static final int Rdfs12rule rdfs12: xxx rdf:type rdfs:ContainerMembershipProperty --> xxx rdfs:subPropertyOf rdfs:member- See Also:
-
Rdfs13
public static final int Rdfs13rule rdfs13: xxx rdf:type rdfs:Datatype --> xxx rdfs:subClassOf rdfs:Literal- See Also:
-
RX1
public static final int RX1rule X1: xxx rdf:_* yyy --> rdf:_* rdf:type rdfs:ContainerMembershipProperty This is an extra rule for list membership properties (_1, _2, _3, ...). The RDF Semantics Recommendation does not specificy a production for this, instead these statements are considered axiomatic. Since it is an infinite set it can not, in practice, be asserted axiomatically.- See Also:
-
RULECOUNT
public static final int RULECOUNT- See Also:
-
RULENAMES
-
__
private static final boolean __- See Also:
-
XX
private static final boolean XX- See Also:
-
TRIGGERS
public static final boolean[][] TRIGGERSTable of triggers for entailment rules. Each column represents the triggers for an entailment rule R, that is, it encodes which entailment rules produces statements that can be used as a premise in rule R. Example: the conclusion of rule rdfs2_1 is a statement of the form: (xxx rdf:type yyy). The premise of rule rdfs9_2 is (xxx rdf:type yyy). Hence, rule rdfs2_1 triggers rule rdfs9_2.
-
-
Constructor Details
-
RDFSRules
RDFSRules()
-