Class 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:Property
      static int Rdfs10
      rule rdfs10: xxx rdf:type rdfs:Class --> xxx rdfs:subClassOf xxx reflexivity of rdfs:subClassOf
      static 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
      static 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
      static int Rdfs12
      rule rdfs12: xxx rdf:type rdfs:ContainerMembershipProperty --> xxx rdfs:subPropertyOf rdfs:member
      static int Rdfs13
      rule rdfs13: xxx rdf:type rdfs:Datatype --> xxx rdfs:subClassOf rdfs:Literal
      static 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:Resource
      static int Rdfs4b
      rule rdfs4b: xxx aaa uuu --> uuu rdf:type rdfs:Resource
      static 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
      static 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
      static int Rdfs6
      rule rdfs6: xxx rdf:type rdf:Property --> xxx rdfs:subPropertyOf xxx reflexivity of rdfs:subPropertyOf
      static 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:Resource
      static 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()  
    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • 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
      • RULENAMES

        public static final java.lang.String[] RULENAMES
      • 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 Detail

      • RDFSRules

        RDFSRules()