RE: firts and rdf:rest as functional property

Oops, stupid me!

>From: Michael Schneider

>(1) Lists should terminate, but there is no enforcement of a final
>rdf:nil:
>
>      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... :)

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
=======================================================================