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. s p o x y z s2 p2 o2 c y1 y2 x1 x2 p1 c1 c2 c3 p3 eq-ref OWL RL eq-ref eq-sym OWL RL eq-sym eq-trans OWL RL eq-trans eq-rep-s OWL RL eq-rep-s eq-rep-p OWL RL eq-rep-p eq-rep-o OWL RL eq-rep-o Violates owl:differentFrom eq-diff1 OWL RL eq-diff1 prp-dom OWL RL prp-dom prp-rng OWL RL prp-rng prp-fp OWL RL prp-fp prp-ifp OWL RL prp-ifp Irreflexive property prp-irp OWL RL prp-irp prp-symp OWL RL prp-symp Antisymmetric property prp-asyp OWL RL prp-asyp prp-trp OWL RL prp-trp prp-spo1 OWL RL prp-spo1 prp-eqp1 OWL RL prp-eqp1 prp-eqp2 OWL RL prp-eqp2 Property declared disjoint with prp-pdw OWL RL prp-pdw prp-inv1 OWL RL prp-inv1 prp-inv2 OWL RL prp-inv2 Violates owl:Nothing membership cls-nothing2 OWL RL cls-nothing2 Shared instance of complement classes cls-com OWL RL cls-com cax-sco OWL RL cax-sco cax-eqc1 OWL RL cax-eqc1 cax-eqc2 OWL RL cax-eqc2 Shared instance of disjoint classes cax-dw OWL RL cax-dw scm-cls OWL RL scm-cls OWL RL scm-sco scm-sco scm-eqc1 OWL RL scm-eqc1 scm-eqc2 OWL RL scm-eqc2 scm-op OWL RL scm-op scm-dp OWL RL scm-dp scm-spo OWL RL scm-spo scm-eqp1 OWL RL scm-eqp1 scm-eqp2 OWL RL scm-eqp2 scm-dom1 OWL RL scm-dom1 scm-dom2 OWL RL scm-dom2 scm-rng1 OWL RL scm-rng1 scm-rng2 OWL RL scm-rng2