RE: several broken rules in RL?

Hello Michael,

Yep, this was broken for all but the owl:propertyChainAxiom! (The latter is, I
think, OK: note that the LIST[] notation takes the first argument as the list
head.) Thanks a lot for catching this in time: I really appreciate it! (It is a
bit disheartening that we have such errors in the documents after such a long
time!)

Anyway, I've fixed the errors; here is the diff:

http://www.w3.org/2007/OWL/wiki/index.php?title=Profiles&diff=22179&oldid=22140

Regards,

	Boris

> -----Original Message-----
> From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org] On
> Behalf Of Michael Schneider
> Sent: 15 April 2009 20:22
> To: OWL 1.1
> Subject: several broken rules in RL?
> 
> Hi!
> 
> Last Minute Bug Report (technical).
> 
> In OWL 2 RL, the rule for owl:AllDisjointClasses seems wrong to me:
> 
>   <http://www.w3.org/2007/OWL/wiki/Fragments_Proposal#cax-adc>
> 
>   Premise:
> 
>     T(?y, rdf:type, owl:AllDisjointClasses)
>     LIST[?y, ?c1, ..., ?cn]
>     T(?x, rdf:type, ?ci)
>     T(?x, rdf:type, ?cj)
> 
> Here, the list of classes seems to be put directly to the "root node" "?y".
> But it should be the RHS of "owl:members", although there is no mentioning of
> "owl:members" (why?).
> 
> This is not the only case. Analog for:
> 
>   * owl:AllDifferent <http://www.w3.org/2007/OWL/wiki/Fragments_Proposal#eq-
> diff2>
>   * owl:propertyChainAxiom
> <http://www.w3.org/2007/OWL/wiki/Fragments_Proposal#prp-spo2>
>   * owl:AllDisjointProperties
> <http://www.w3.org/2007/OWL/wiki/Fragments_Proposal#prp-adp>
> 
> Note: owl:AllDifferent uses both "owl:members" and "owl:distinctMembers".
> 
> Michael
> 
> --
> Dipl.-Inform. Michael Schneider
> Research Scientist, Dept. Information Process Engineering (IPE)
> Tel  : +49-721-9654-726
> Fax  : +49-721-9654-727
> Email: michael.schneider@fzi.de
> WWW  : http://www.fzi.de/michael.schneider
> =======================================================================
> FZI Forschungszentrum Informatik an der Universität Karlsruhe
> Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
> Tel.: +49-721-9654-0, Fax: +49-721-9654-959
> Stiftung des bürgerlichen Rechts, Az 14-0563.1, RP Karlsruhe
> Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
> Prof. Dr. Dr. h.c. Wolffried Stucky, Prof. Dr. Rudi Studer
> Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
> =======================================================================
>

Received on Wednesday, 15 April 2009 19:47:23 UTC