Class RDFSRules
- java.lang.Object
-
- org.eclipse.rdf4j.sail.inferencer.fc.RDFSRules
-
class RDFSRules extends java.lang.Object
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
Fields Modifier and Type Field Description private static boolean
__
static int
Rdf1
rule rdf1: xxx aaa yyy --> aaa rdf:type rdf:Propertystatic int
Rdfs10
rule rdfs10: xxx rdf:type rdfs:Class --> xxx rdfs:subClassOf xxx reflexivity of rdfs:subClassOfstatic int
Rdfs11_1
rule rdfs11_1: xxx rdfs:subClassOf yyy && (nt) yyy rdfs:subClassOf zzz --> (t1) xxx rdfs:subClassOf zzz (t2) transitivity of rdfs:subClassOfstatic int
Rdfs11_2
rule rdfs11_2: yyy rdfs:subClassOf zzz && (nt) xxx rdfs:subClassOf yyy --> (t1) xxx rdfs:subClassOf zzz (t2) transitivity of rdfs:subClassOfstatic int
Rdfs12
rule rdfs12: xxx rdf:type rdfs:ContainerMembershipProperty --> xxx rdfs:subPropertyOf rdfs:memberstatic int
Rdfs13
rule rdfs13: xxx rdf:type rdfs:Datatype --> xxx rdfs:subClassOf rdfs:Literalstatic int
Rdfs2_1
rule rdfs2_1: xxx aaa yyy && (nt) aaa rdfs:domain zzz --> (t1) xxx rdf:type zzz (t2)static int
Rdfs2_2
rule rdfs2_2: aaa rdfs:domain zzz && (nt) xxx aaa yyy --> (t1) xxx rdf:type zzz (t2)static int
Rdfs3_1
rule rdfs3_1: xxx aaa uuu && (nt) aaa rdfs:range zzz --> (t1) uuu rdf:type zzz (t2)static int
Rdfs3_2
rule rdfs3_2.static int
Rdfs4a
rule rdfs4a: xxx aaa yyy --> xxx rdf:type rdfs:Resourcestatic int
Rdfs4b
rule rdfs4b: xxx aaa uuu --> uuu rdf:type rdfs:Resourcestatic int
Rdfs5_1
rule rdfs5_1: aaa rdfs:subPropertyOf bbb && (nt) bbb rdfs:subPropertyOf ccc --> (t1) aaa rdfs:subPropertyOf ccc (t2) transitivity of rdfs:subPropertyOfstatic int
Rdfs5_2
rule rdfs5_2: bbb rdfs:subPropertyOf ccc && (nt) aaa rdfs:subPropertyOf bbb --> (t1) aaa rdfs:subPropertyOf ccc (t2) transitivity of rdfs:subPropertyOfstatic int
Rdfs6
rule rdfs6: xxx rdf:type rdf:Property --> xxx rdfs:subPropertyOf xxx reflexivity of rdfs:subPropertyOfstatic int
Rdfs7_1
rule rdfs7_1: xxx aaa yyy && (nt) aaa rdfs:subPropertyOf bbb --> (t1) xxx bbb yyy (t2)static int
Rdfs7_2
rule rdfs7_2: aaa rdfs:subPropertyOf bbb && (nt) xxx aaa yyy --> (t1) xxx bbb yyy (t2)static int
Rdfs8
rule rdfs8: xxx rdf:type rdfs:Class --> xxx rdfs:subClassOf rdfs:Resourcestatic int
Rdfs9_1
rule rdfs9_1: xxx rdfs:subClassOf yyy && (nt) aaa rdf:type xxx --> (t1) aaa rdf:type yyy (t2)static int
Rdfs9_2
rule rdfs9_2: aaa rdf:type xxx && (nt) xxx rdfs:subClassOf yyy --> (t1) aaa rdf:type yyy (t2)static int
RULECOUNT
static java.lang.String[]
RULENAMES
static int
RX1
rule X1: xxx rdf:_* yyy --> rdf:_* rdf:type rdfs:ContainerMembershipProperty This is an extra rule for list membership properties (_1, _2, _3, ...).static boolean[][]
TRIGGERS
Table of triggers for entailment rules.private static boolean
XX
-
Constructor Summary
Constructors Constructor Description RDFSRules()
-
-
-
Field Detail
-
Rdf1
public static final int Rdf1
rule rdf1: xxx aaa yyy --> aaa rdf:type rdf:Property- See Also:
- Constant Field Values
-
Rdfs2_1
public static final int Rdfs2_1
rule rdfs2_1: xxx aaa yyy && (nt) aaa rdfs:domain zzz --> (t1) xxx rdf:type zzz (t2)- See Also:
- Constant Field Values
-
Rdfs2_2
public static final int Rdfs2_2
rule rdfs2_2: aaa rdfs:domain zzz && (nt) xxx aaa yyy --> (t1) xxx rdf:type zzz (t2)- See Also:
- Constant Field Values
-
Rdfs3_1
public static final int Rdfs3_1
rule rdfs3_1: xxx aaa uuu && (nt) aaa rdfs:range zzz --> (t1) uuu rdf:type zzz (t2)- See Also:
- Constant Field Values
-
Rdfs3_2
public static final int Rdfs3_2
rule rdfs3_2. aaa rdfs:range zzz && (nt) xxx aaa uuu --> (t1) uuu rdf:type zzz (t2)- See Also:
- Constant Field Values
-
Rdfs4a
public static final int Rdfs4a
rule rdfs4a: xxx aaa yyy --> xxx rdf:type rdfs:Resource- See Also:
- Constant Field Values
-
Rdfs4b
public static final int Rdfs4b
rule rdfs4b: xxx aaa uuu --> uuu rdf:type rdfs:Resource- See Also:
- Constant Field Values
-
Rdfs5_1
public static final int Rdfs5_1
rule rdfs5_1: aaa rdfs:subPropertyOf bbb && (nt) bbb rdfs:subPropertyOf ccc --> (t1) aaa rdfs:subPropertyOf ccc (t2) transitivity of rdfs:subPropertyOf- See Also:
- Constant Field Values
-
Rdfs5_2
public static final int Rdfs5_2
rule rdfs5_2: bbb rdfs:subPropertyOf ccc && (nt) aaa rdfs:subPropertyOf bbb --> (t1) aaa rdfs:subPropertyOf ccc (t2) transitivity of rdfs:subPropertyOf- See Also:
- Constant Field Values
-
Rdfs6
public static final int Rdfs6
rule rdfs6: xxx rdf:type rdf:Property --> xxx rdfs:subPropertyOf xxx reflexivity of rdfs:subPropertyOf- See Also:
- Constant Field Values
-
Rdfs7_1
public static final int Rdfs7_1
rule rdfs7_1: xxx aaa yyy && (nt) aaa rdfs:subPropertyOf bbb --> (t1) xxx bbb yyy (t2)- See Also:
- Constant Field Values
-
Rdfs7_2
public static final int Rdfs7_2
rule rdfs7_2: aaa rdfs:subPropertyOf bbb && (nt) xxx aaa yyy --> (t1) xxx bbb yyy (t2)- See Also:
- Constant Field Values
-
Rdfs8
public static final int Rdfs8
rule rdfs8: xxx rdf:type rdfs:Class --> xxx rdfs:subClassOf rdfs:Resource- See Also:
- Constant Field Values
-
Rdfs9_1
public static final int Rdfs9_1
rule rdfs9_1: xxx rdfs:subClassOf yyy && (nt) aaa rdf:type xxx --> (t1) aaa rdf:type yyy (t2)- See Also:
- Constant Field Values
-
Rdfs9_2
public static final int Rdfs9_2
rule rdfs9_2: aaa rdf:type xxx && (nt) xxx rdfs:subClassOf yyy --> (t1) aaa rdf:type yyy (t2)- See Also:
- Constant Field Values
-
Rdfs10
public static final int Rdfs10
rule rdfs10: xxx rdf:type rdfs:Class --> xxx rdfs:subClassOf xxx reflexivity of rdfs:subClassOf- See Also:
- Constant Field Values
-
Rdfs11_1
public static final int Rdfs11_1
rule rdfs11_1: xxx rdfs:subClassOf yyy && (nt) yyy rdfs:subClassOf zzz --> (t1) xxx rdfs:subClassOf zzz (t2) transitivity of rdfs:subClassOf- See Also:
- Constant Field Values
-
Rdfs11_2
public static final int Rdfs11_2
rule rdfs11_2: yyy rdfs:subClassOf zzz && (nt) xxx rdfs:subClassOf yyy --> (t1) xxx rdfs:subClassOf zzz (t2) transitivity of rdfs:subClassOf- See Also:
- Constant Field Values
-
Rdfs12
public static final int Rdfs12
rule rdfs12: xxx rdf:type rdfs:ContainerMembershipProperty --> xxx rdfs:subPropertyOf rdfs:member- See Also:
- Constant Field Values
-
Rdfs13
public static final int Rdfs13
rule rdfs13: xxx rdf:type rdfs:Datatype --> xxx rdfs:subClassOf rdfs:Literal- See Also:
- Constant Field Values
-
RX1
public static final int RX1
rule 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:
- Constant Field Values
-
RULECOUNT
public static final int RULECOUNT
- See Also:
- Constant Field Values
-
RULENAMES
public static final java.lang.String[] RULENAMES
-
__
private static final boolean __
- See Also:
- Constant Field Values
-
XX
private static final boolean XX
- See Also:
- Constant Field Values
-
TRIGGERS
public static final boolean[][] TRIGGERS
Table 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.
-
-