0.9.7 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 achieve OWL inferencing on ontologies that import this file. The file owlrl-all has been created as a convenient out of the box solution for cases where all OWL 2 RL rules shall be used. x y x p u p v v y u x cls-svf1 OWL RL cls-svf1 c u x c y c y x y x u x y prp-key OWL RL prp-key p1 p2 p1 p2 p2 p1 scm-eqp OWL RL scm-eqp p x p y y p x x p Antisymmetric property prp-asyp OWL RL prp-asyp x x p u p v u x cls-svf2 OWL RL cls-svf2 p x x 2 x ?0 ?0 0 ?0 ?1 ?1 p1 ?1 x ?2 ?2 1 ?2 ?3 ?3 p2 ?3 u1 p1 u2 u2 p2 u3 u1 p u3 prp-spo2-2 OWL RL prp-spo2 for chain length 2 c1 c2 c2 c3 c1 c3 scm-sco OWL RL scm-sco c x x cl cl c scm-uni OWL RL scm-uni x x list list y1 list y2 y2 y1 y1 y2 y1 Violation of owl:AllDifferent eq-diff3 OWL RL eq-diff3 c x x ci y c y ci cls-int2 OWL RL cls-int2 x x list list y1 list y2 y2 y1 y1 y2 y1 Violation of owl:AllDifferent eq-diff2 OWL RL eq-diff2 c x x type y type x y y c cls-int1 OWL RL cls-int1 x y y z x z eq-trans OWL RL eq-trans p c x p y x c prp-dom OWL RL prp-dom x y x y x Violates owl:differentFrom eq-diff1 OWL RL eq-diff1 c1 c2 x c1 x c2 x Shared instance of disjoint classes cax-dw OWL RL cax-dw c1 y c1 p1 c2 y c2 p2 p1 p2 c2 c1 scm-avf2 OWL RL scm-avf2 c1 y1 c1 p c2 y2 c2 p y1 y2 c1 c2 scm-avf1 OWL RL scm-avf1 s s2 s p o s2 p o eq-rep-s OWL RL eq-rep-s x y x p u x u p v v y cls-avf OWL RL cls-avf p p p p p scm-dp OWL RL scm-dp p x p y y p z x p z prp-trp OWL RL prp-trp c1 c2 x c2 x c1 cax-eqc2 OWL RL cax-eqc2 x i x p x lt i p lt i p Negative Property Assertion prp-npa2 prp-npa2 OWL RL prp-npa2 p c x p y y c prp-rng OWL RL prp-rng p x p x x p Irreflexive property prp-irp OWL RL prp-irp c c c c c c Instance of owl:Nothing c scm-cls OWL RL scm-cls s p o s s p p o o eq-ref OWL RL eq-ref p p2 s p o s p2 o eq-rep-p OWL RL eq-rep-p o o2 s p o s p o2 eq-rep-o OWL RL eq-rep-o x i1 x p x i2 i1 p i2 i1 p Negative Property Assertion prp-npa1 prp-npa1 OWL RL prp-npa1 c1 c2 x c1 x c2 cax-eqc1 OWL RL cax-eqc1 c1 i c1 p1 c2 i c2 p2 p1 p2 c1 c2 scm-hv OWL RL scm-hv c x x cl c cl scm-int OWL RL scm-int c1 c2 x c1 x c2 cax-sco OWL RL cax-sco y y members members c1 members c2 c2 c1 x c1 x c2 x Shared instance of classes from an AllDisjointClasses block cax-adc OWL RL cax-adc c1 c2 c1 c2 c2 c1 scm-eqc OWL RL scm-eqc z z members members p1 x p1 y p2 p1 x p2 y members p2 x p1 Violation of owl:AllDisjointProperties prp-adp OWL RL prp-adp p1 p2 x p1 y x p2 y x p1 Property declared disjoint with prp-pdw OWL RL prp-pdw x 0 x p u x u p y x p owl:maxCardinality of 0 cls-maxc1 OWL RL cls-maxc1 p x1 p y x2 p y x2 x1 x1 x2 prp-ifp OWL RL prp-ifp p1 p2 x p2 y y p1 x prp-inv2 OWL RL prp-inv2 p c1 c1 c2 p1 c2 scm-rng1 OWL RL scm-rng1 p1 p2 p2 p3 p1 p3 scm-spo OWL RL scm-spo p2 c p1 p2 p1 c scm-rng2 OWL RL scm-rng2 p1 p2 x p1 y y p2 x prp-inv1 OWL RL prp-inv1 p1 p2 x p1 y x p2 y prp-spo1 OWL RL prp-spo1 p2 c p1 p2 p1 c scm-dom2 OWL RL scm-dom2 p c1 c1 c2 p c2 scm-dom1 OWL RL scm-dom1 x 1 x p u x u p y1 u p y2 y1 y2 cls-maxc2 OWL RL cls-maxc2 c x x yi yi c cls-oo OWL RL cls-oo c x x ci y ci y c cls-uni OWL RL cls-uni p p p p p scm-op OWL RL scm-op p x p y1 x p y2 y2 y1 y1 y2 prp-fp OWL RL prp-fp p1 p2 x p1 y x p2 y prp-eqp1 OWL RL prp-eqp1 p1 p2 x p2 y x p1 y prp-eqp2 OWL RL prp-eqp2 x 1 x p x u x u p y1 u p y2 y1 y2 cls-maxqc4 OWL RL cls-maxqc4 c1 y c1 p1 c2 y c2 p2 p1 p2 c1 c2 scm-svf2 OWL RL scm-svf2 c1 y1 c1 p c2 y2 c2 p y1 y2 c1 c2 scm-svf1 OWL RL scm-svf1 x y y x eq-sym OWL RL eq-sym p x p y y p x prp-symp OWL RL prp-symp x y x p u x u p y cls-hv1 OWL RL cls-hv1 x 0 x p x u x u p y u p Qualified max cardinality 0 cls-maxqc2 OWL RL cls-maxqc2 x 0 x p x c u x u p y y c u p Maximum qualified cardinality of 0 cls-maxqc1 OWL RL cls-maxqc1 x y x p u p y u x cls-hv2 OWL RL cls-hv2 x 1 x p x c u x u p y1 y1 c u p y1 y2 c y1 y2 cls-maxqc3 OWL RL cls-maxqc3 p z2 z2 z1 z2 z1 p z1 The list of key properties. true The rdf:List to walk through. The subject that is checked. object object list contains extra object Walks a given rdf:List (?arg2) and returns true if the given subject (?arg1) does not have a list element as rdf:type. This can be used to check whether the subject has all objects from a given list, by simply negating the result with the ! operator. p The first instance Checks whether there is a value of a key property that is different for the two instances arg2 and arg3 The second instance A helper function of the prp-key axiom. true key violation exists