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

Re: hasKey axioms allowed for the empty set of properties

From: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
Date: Tue, 14 Jul 2009 06:53:12 +0100
Message-Id: <7C54C660-3FF0-42BA-B865-22FCA5984991@comlab.ox.ac.uk>
Cc: "W3C OWL Working Group" <public-owl-wg@w3.org>
To: Michael Schneider <schneid@fzi.de>
I put this on the agenda for this week's teleconf.

Ian


On 4 Jul 2009, at 18:09, Michael Schneider wrote:

> Hi!
>
> In the reverse RDF-Mapping of owl:hasKey, there is no constraint on  
> the size of the argument list. This means that a key axiom may be  
> defined for the empty set of properties. Also, it looks to me that  
> the empty set is allowed in the Structural Specification  
> (Functional Syntax), either.
>
> I don't think that empty key axioms are particularly useful, and I  
> can see that they have peculiar semantic ramifications.
>
> So I propose to require at least one property for key axioms in  
> both the Structural Spec and the reverse RDF-Mapping.
>
> 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 Tuesday, 14 July 2009 05:54:15 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 14 July 2009 05:54:15 GMT