W3C home > Mailing lists > Public > public-rif-comments@w3.org > May 2012

Some more potential errors

From: Hendrik Marx <marx.hendrik@googlemail.com>
Date: Thu, 31 May 2012 16:19:10 +0200
Message-ID: <CADU_cF+tLu7AROqF=W7dzQgZEF4Ug2MxAPCbP-DYje+fFEVMKg@mail.gmail.com>
To: public-rif-comments@w3.org
Hello,

I think I might have found some more errors in the table at
http://www.w3.org/TR/2010/NOTE-rif-owl-rl-20100622/#Appendix:_OWL_2_RL_to_RIF_translation
.



Hendrik



(* prp-spo2 *)

{$
 Forall ?u0 ?u$length(?pc)$ (    (* should that not be all ?u from ?u0 to
?$ length(pc)$ ? *)
  ?start[?p->?last] :- And (        (* should ?start and ?last be the same
as u0 and ulength?*)
$}
for(?next in ?sc) {                     (*is ?sc=?pc  !?*)
 {$
   ?u$i$[?next->?u$i+1$]
 $}
}
{$ )) $}

(* prp-key *)

{$
 Forall ?x ?y (                                                 (*Forall ?x
?y ?v *)
  ?x[owl:sameAs->?y] :- And (
    ?x[rdf:type->?c]  ?y[rdf:type->?c]
$}
for(?key in ?u) {
 {$
    ?x[?key->?v] ?y[?key->?v]
 $}
}
{$ )) $}



(* scm-int *)

for(?ci in ?l) {
 {$
  Forall ?y (
    ?y[rdf:type->?ci] :- And (
      ?y[rdf:type->?c] ))

  Forall( ?c[rdfs:subClassOf->?ci] )      (* Is Forall allowed here without
at least one variable?*)
 $}
}

(* <#cls-maxqc2> *)
Forall ?y (   (*forall ?y ?u*)
  rif:error() :- And(
      ?u[rdf:type->?x]
      ?u[?p->?y]  ))


(* eq-diff2 and eq-diff3*)
for(?x in ?l) {
 for(?y in ?l, != x) {
  {$
 Forall  (                           (* not allowed ?*)
  rif:error() :- And (
      ?x[owl:sameAs->?y] ) )
  $}
 }
}
Received on Thursday, 31 May 2012 14:20:05 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 31 May 2012 14:20:05 GMT