- From: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
- Date: Tue, 14 Jul 2009 06:53:12 +0100
- To: Michael Schneider <schneid@fzi.de>
- Cc: "W3C OWL Working Group" <public-owl-wg@w3.org>
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 UTC