0.9.4 A collection of rules specified by the OWL RL specification in SPIN format. The rules have been encoded as SPIN templates and can be attached to a root class (such as owl:Thing) to archieve OWL inferencing on ontologies that import this file. OWL RL cls-svf1 cls-svf1 x u y p v OWL RL prp-key prp-key y x u c OWL RL scm-eqp scm-eqp p2 p1 OWL RL prp-asyp prp-asyp Antisymmetric property OWL RL cls-svf2 cls-svf2 OWL RL prp-spo2 for chain length 2 prp-spo2-2 u3 p u1 x 2 ?0 0 ?1 p1 ?2 1 ?3 p2 u2 scm-sco c2 c1 0 -2 OWL RL scm-sco OWL RL scm-uni scm-uni c cl OWL RL eq-diff3 x list y1 y2 Violation of owl:AllDifferent eq-diff3 OWL RL cls-int2 cls-int2 ci OWL RL eq-diff2 x list y1 y2 Violation of owl:AllDifferent eq-diff2 OWL RL cls-int1 cls-int1 c y x first OWL RL eq-trans eq-trans z OWL RL prp-dom prp-dom OWL RL eq-diff1 eq-diff1 Violates owl:differentFrom OWL RL cax-dw cax-dw Shared instance of disjoint classes c2 c1 OWL RL scm-avf2 scm-avf2 OWL RL scm-avf1 scm-avf1 y1 y2 OWL RL eq-rep-s eq-rep-s o s2 s OWL RL cls-avf cls-avf OWL RL scm-dp scm-dp OWL RL prp-trp prp-trp OWL RL cax-eqc2 cax-eqc2 OWL RL prp-npa2 prp-npa2 prp-npa2 i p Negative Property Assertion x lt OWL RL prp-rng prp-rng OWL RL prp-irp prp-irp Irreflexive property OWL RL scm-cls scm-cls Instance of owl:Nothing OWL RL eq-ref eq-ref OWL RL eq-rep-p eq-rep-p OWL RL eq-rep-o eq-rep-o o2 OWL RL prp-npa1 prp-npa1 prp-npa1 i1 p Negative Property Assertion x i2 OWL RL cax-eqc1 cax-eqc1 OWL RL scm-hv scm-hv i OWL RL scm-int scm-int c3 OWL RL cax-sco cax-sco cax-adc x Shared instance of classes from an AllDisjointClasses block y members c1 c2 OWL RL cax-adc OWL RL scm-eqc scm-eqc prp-adp x p1 Violation of owl:AllDisjointProperties z members y p2 OWL RL prp-adp OWL RL prp-pdw prp-pdw Property declared disjoint with OWL RL cls-maxc1 cls-maxc1 owl:maxCardinality of 0 0 OWL RL prp-ifp prp-ifp x2 x1 OWL RL prp-inv2 prp-inv2 OWL RL scm-rng1 scm-rng1 OWL RL scm-spo scm-spo p3 OWL RL scm-rng2 scm-rng2 OWL RL prp-inv1 prp-inv1 OWL RL prp-spo1 prp-spo1 OWL RL scm-dom2 scm-dom2 OWL RL scm-dom1 scm-dom1 OWL RL cls-maxc2 cls-maxc2 1 OWL RL cls-oo cls-oo yi OWL RL cls-uni cls-uni OWL RL scm-op scm-op OWL RL prp-fp prp-fp OWL RL prp-eqp1 prp-eqp1 OWL RL prp-eqp2 prp-eqp2 OWL RL cls-maxqc4 cls-maxqc4 1 OWL RL scm-svf2 scm-svf2 OWL RL scm-svf1 scm-svf1 OWL RL eq-sym eq-sym OWL RL prp-symp prp-symp OWL RL cls-hv1 cls-hv1 OWL RL cls-maxqc2 cls-maxqc2 Qualified max cardinality 0 0 OWL RL cls-maxqc1 cls-maxqc1 Maximum qualified cardinality of 0 0 OWL RL cls-hv2 cls-hv2 OWL RL cls-maxqc3 cls-maxqc3 1 The list of key properties. z1 p z2 The second instance The first instance Checks whether there is a value of a key property that is different for the two instances arg2 and arg3 A helper function of the prp-key axiom. key violation exists