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

RE: several broken rules in RL?

From: Boris Motik <boris.motik@comlab.ox.ac.uk>
Date: Thu, 16 Apr 2009 08:28:36 +0100
To: "'Michael Schneider'" <schneid@fzi.de>
Cc: "'OWL 1.1'" <public-owl-wg@w3.org>
Message-ID: <B0BF0E3BF3D843BDAD8FCA213C140509@wolf>
Hello Michael,

You're right -- I've added the backwards compatibility rule!

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 21:23
> To: Boris Motik
> Cc: OWL 1.1
> Subject: RE: several broken rules in RL?
> 
> Ah, I missed something in my previous mail:
> 
> >From: Boris Motik [mailto:boris.motik@comlab.ox.ac.uk]
> 
> >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
> 
> Even if it is ugly, I think we should additionally have the
> "owl:distinctMembers" version of owl:AllDifferent. We have it in both the
> reverse RDF Mapping and in the RDF-Based Semantics, and without it, an OWL 2
> RL rule-reasoner will not match on AllDifferent axioms in older (OWL 1)
> ontologies.
> 
> Cheers,
> 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 Thursday, 16 April 2009 07:29:52 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 16 April 2009 07:29:54 GMT