| java.lang.Object
 org.openrdf.sail.inferencer.fc.RDFSRules
| RDFSRules | | class RDFSRules (Code) | | 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 | |
| final public static int | RULECOUNT
| | final public static String[] | RULENAMES
| | final public 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,
...). | | final public static int | Rdf1
| | final public static int | Rdfs10
| | final public static int | Rdfs11_1
| | final public static int | Rdfs11_2
| | final public static int | Rdfs12
| | final public static int | Rdfs13
| | final public static int | Rdfs2_1
| | final public static int | Rdfs2_2
| | final public static int | Rdfs3_1
| | final public static int | Rdfs3_2
rule rdfs3_2. | | final public static int | Rdfs4a
| | final public static int | Rdfs4b
| | final public static int | Rdfs5_1
| | final public static int | Rdfs5_2
| | final public static int | Rdfs6
| | final public static int | Rdfs7_1
| | final public static int | Rdfs7_2
| | final public static int | Rdfs8
| | final public static int | Rdfs9_1
| | final public static int | Rdfs9_2
| | final public static boolean[][] | TRIGGERS
Table of triggers for entailment rules. |
| RULECOUNT | | final public static int RULECOUNT(Code) | | |
| RX1 | | final public static int RX1(Code) | | 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.
|
| Rdf1 | | final public static int Rdf1(Code) | | rule rdf1:
xxx aaa yyy --> aaa rdf:type rdf:Property
|
| Rdfs10 | | final public static int Rdfs10(Code) | | rule rdfs10:
xxx rdf:type rdfs:Class --> xxx rdfs:subClassOf xxx
reflexivity of rdfs:subClassOf
|
| Rdfs11_1 | | final public static int Rdfs11_1(Code) | | rule rdfs11_1:
xxx rdfs:subClassOf yyy && (nt)
yyy rdfs:subClassOf zzz --> (t1)
xxx rdfs:subClassOf zzz (t2)
transitivity of rdfs:subClassOf
|
| Rdfs11_2 | | final public static int Rdfs11_2(Code) | | rule rdfs11_2:
yyy rdfs:subClassOf zzz && (nt)
xxx rdfs:subClassOf yyy --> (t1)
xxx rdfs:subClassOf zzz (t2)
transitivity of rdfs:subClassOf
|
| Rdfs12 | | final public static int Rdfs12(Code) | | rule rdfs12:
xxx rdf:type rdfs:ContainerMembershipProperty -->
xxx rdfs:subPropertyOf rdfs:member
|
| Rdfs13 | | final public static int Rdfs13(Code) | | rule rdfs13:
xxx rdf:type rdfs:Datatype --> xxx rdfs:subClassOf rdfs:Literal
|
| Rdfs2_1 | | final public static int Rdfs2_1(Code) | | rule rdfs2_1:
xxx aaa yyy && (nt)
aaa rdfs:domain zzz --> (t1)
xxx rdf:type zzz (t2)
|
| Rdfs2_2 | | final public static int Rdfs2_2(Code) | | rule rdfs2_2:
aaa rdfs:domain zzz && (nt)
xxx aaa yyy --> (t1)
xxx rdf:type zzz (t2)
|
| Rdfs3_1 | | final public static int Rdfs3_1(Code) | | rule rdfs3_1:
xxx aaa uuu && (nt)
aaa rdfs:range zzz --> (t1)
uuu rdf:type zzz (t2)
|
| Rdfs3_2 | | final public static int Rdfs3_2(Code) | | rule rdfs3_2.
aaa rdfs:range zzz && (nt)
xxx aaa uuu --> (t1)
uuu rdf:type zzz (t2)
|
| Rdfs4a | | final public static int Rdfs4a(Code) | | rule rdfs4a:
xxx aaa yyy --> xxx rdf:type rdfs:Resource
|
| Rdfs4b | | final public static int Rdfs4b(Code) | | rule rdfs4b:
xxx aaa uuu --> uuu rdf:type rdfs:Resource
|
| Rdfs5_1 | | final public static int Rdfs5_1(Code) | | rule rdfs5_1:
aaa rdfs:subPropertyOf bbb && (nt)
bbb rdfs:subPropertyOf ccc --> (t1)
aaa rdfs:subPropertyOf ccc (t2)
transitivity of rdfs:subPropertyOf
|
| Rdfs5_2 | | final public static int Rdfs5_2(Code) | | rule rdfs5_2:
bbb rdfs:subPropertyOf ccc && (nt)
aaa rdfs:subPropertyOf bbb --> (t1)
aaa rdfs:subPropertyOf ccc (t2)
transitivity of rdfs:subPropertyOf
|
| Rdfs6 | | final public static int Rdfs6(Code) | | rule rdfs6:
xxx rdf:type rdf:Property --> xxx rdfs:subPropertyOf xxx
reflexivity of rdfs:subPropertyOf
|
| Rdfs7_1 | | final public static int Rdfs7_1(Code) | | rule rdfs7_1:
xxx aaa yyy && (nt)
aaa rdfs:subPropertyOf bbb --> (t1)
xxx bbb yyy (t2)
|
| Rdfs7_2 | | final public static int Rdfs7_2(Code) | | rule rdfs7_2:
aaa rdfs:subPropertyOf bbb && (nt)
xxx aaa yyy --> (t1)
xxx bbb yyy (t2)
|
| Rdfs8 | | final public static int Rdfs8(Code) | | rule rdfs8:
xxx rdf:type rdfs:Class --> xxx rdfs:subClassOf rdfs:Resource
|
| Rdfs9_1 | | final public static int Rdfs9_1(Code) | | rule rdfs9_1:
xxx rdfs:subClassOf yyy && (nt)
aaa rdf:type xxx --> (t1)
aaa rdf:type yyy (t2)
|
| Rdfs9_2 | | final public static int Rdfs9_2(Code) | | rule rdfs9_2:
aaa rdf:type xxx && (nt)
xxx rdfs:subClassOf yyy --> (t1)
aaa rdf:type yyy (t2)
|
| TRIGGERS | | final public static boolean[][] TRIGGERS(Code) | | 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.
|
|
|