Re: several broken rules in RL?

Doh. Michael the eagle-eye:-)

I have gone through these rules, converted them into a python code and I
still missed these! Scary:-(

Thanks...

Ivan

Michael Schneider wrote:
> 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
> =======================================================================
> 
> 

-- 

Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
mobile: +31-641044153
PGP Key: http://www.ivan-herman.net/pgpkey.html
FOAF: http://www.ivan-herman.net/foaf.rdf