W3C home > Mailing lists > Public > public-owl-wg@w3.org > April 2009

Re: several broken rules in RL?

From: Ivan Herman <ivan@w3.org>
Date: Thu, 16 Apr 2009 10:51:55 +0200
Message-ID: <49E6F1AB.4050407@w3.org>
To: Michael Schneider <schneid@fzi.de>
CC: "OWL 1.1" <public-owl-wg@w3.org>
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



Received on Thursday, 16 April 2009 08:52:32 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 16 April 2009 08:52:35 GMT