RE: several broken rules in RL?

>-----Original Message-----
>From: Boris Motik [mailto:boris.motik@comlab.ox.ac.uk]
>Sent: Wednesday, April 15, 2009 9:46 PM
>To: Michael Schneider; 'OWL 1.1'
>Subject: 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.) 

Oops, I see, I have to get accustomed to this new form. :)

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!)

Yes, I spotted it by pure chance. I think, now that we have deferred
publication to next week, I will go through the list of rules tomorrow...
just to feel more confident afterwards. :)

>Anyway, I've fixed the errors; here is the diff:
>
>http://www.w3.org/2007/OWL/wiki/index.php?title=Profiles&diff=22179&oldi
>d=22140
>
>Regards,
>
>	Boris

Cheers,
Michael


>
>> -----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
>>
>=======================================================================
>>
>