Class RDFSRules

java.lang.Object
org.eclipse.rdf4j.sail.inferencer.fc.RDFSRules

class RDFSRules extends 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 final boolean
     
    static final int
    rule rdf1: xxx aaa yyy --> aaa rdf:type rdf:Property
    static final int
    rule rdfs10: xxx rdf:type rdfs:Class --> xxx rdfs:subClassOf xxx reflexivity of rdfs:subClassOf
    static 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:subClassOf
    static 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:subClassOf
    static final int
    rule rdfs12: xxx rdf:type rdfs:ContainerMembershipProperty --> xxx rdfs:subPropertyOf rdfs:member
    static final int
    rule rdfs13: xxx rdf:type rdfs:Datatype --> xxx rdfs:subClassOf rdfs:Literal
    static 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:Resource
    static final int
    rule rdfs4b: xxx aaa uuu --> uuu rdf:type rdfs:Resource
    static 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:subPropertyOf
    static 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:subPropertyOf
    static final int
    rule rdfs6: xxx rdf:type rdf:Property --> xxx rdfs:subPropertyOf xxx reflexivity of rdfs:subPropertyOf
    static 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:Resource
    static 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
    Constructor
    Description
     
  • Method Summary

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  • Field Details

    • Rdf1

      public static final int Rdf1
      rule rdf1: xxx aaa yyy --> aaa rdf:type rdf:Property
      See Also:
    • Rdfs2_1

      public static final int Rdfs2_1
      rule 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_2
      rule 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_1
      rule 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_2
      rule 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 Rdfs4a
      rule rdfs4a: xxx aaa yyy --> xxx rdf:type rdfs:Resource
      See Also:
    • Rdfs4b

      public static final int Rdfs4b
      rule rdfs4b: xxx aaa uuu --> uuu rdf:type rdfs:Resource
      See Also:
    • Rdfs5_1

      public static final int Rdfs5_1
      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:subPropertyOf
      See Also:
    • Rdfs5_2

      public static final int Rdfs5_2
      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:subPropertyOf
      See Also:
    • Rdfs6

      public static final int Rdfs6
      rule rdfs6: xxx rdf:type rdf:Property --> xxx rdfs:subPropertyOf xxx reflexivity of rdfs:subPropertyOf
      See Also:
    • Rdfs7_1

      public static final int Rdfs7_1
      rule 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_2
      rule 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 Rdfs8
      rule rdfs8: xxx rdf:type rdfs:Class --> xxx rdfs:subClassOf rdfs:Resource
      See Also:
    • Rdfs9_1

      public static final int Rdfs9_1
      rule 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_2
      rule 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 Rdfs10
      rule rdfs10: xxx rdf:type rdfs:Class --> xxx rdfs:subClassOf xxx reflexivity of rdfs:subClassOf
      See Also:
    • Rdfs11_1

      public static final int Rdfs11_1
      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:subClassOf
      See Also:
    • Rdfs11_2

      public static final int Rdfs11_2
      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:subClassOf
      See Also:
    • Rdfs12

      public static final int Rdfs12
      rule rdfs12: xxx rdf:type rdfs:ContainerMembershipProperty --> xxx rdfs:subPropertyOf rdfs:member
      See Also:
    • Rdfs13

      public static final int Rdfs13
      rule rdfs13: xxx rdf:type rdfs:Datatype --> xxx rdfs:subClassOf rdfs:Literal
      See Also:
    • 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:
    • RULECOUNT

      public static final int RULECOUNT
      See Also:
    • RULENAMES

      public static final String[] RULENAMES
    • __

      private static final boolean __
      See Also:
    • XX

      private static final boolean XX
      See Also:
    • 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.
  • Constructor Details

    • RDFSRules

      RDFSRules()