W3C home > Mailing lists > Public > semantic-web@w3.org > March 2009

RE: firts and rdf:rest as functional property

From: Michael Schneider <schneid@fzi.de>
Date: Fri, 20 Mar 2009 17:44:22 +0100
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0011D9B04@judith.fzi.de>
To: Reto Bachmann-Gmür <reto.bachmann@trialox.org>
Cc: "Semantic Web" <semantic-web@w3.org>, "Bijan Parsia" <bparsia@cs.man.ac.uk>
Oops, stupid me!

>From: Michael Schneider

>(1) Lists should terminate, but there is no enforcement of a final
>      A -> B -> C   // no NIL


>(In (1), the list could be terminated by anything else but rdf:nil, so
>the min-1 axiom would be satisfied for rdf:rest).

This case does not need to be considered: rdf:List must not be restricted to
be min-1(rdf:rest). Otherwise lists could never terminate (looping would be
ok, though). In particular, rdf:nil would then have a rdf:rest property,
with another instance of rdf:List as its value, and so on. 

One could solve the particular problem with rdf:nil having a successor by
only restricting the class

  rdf:List \ { rdf:nil } 

to min-1(rdf:rest). But I guess things are starting to get a bit
complicated... :)

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 Friday, 20 March 2009 16:56:00 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:42:10 UTC