RE: firts and rdf:rest as functional property

(I hope, my ASCII art will survive...)

>-----Original Message-----
>From: semantic-web-request@w3.org [mailto:semantic-web-request@w3.org]
>On Behalf Of Reto Bachmann-Gmür

>Is it just the absence of explicit cardinality and functionality
>statement that makes it an non-real list for you? How would in your
>opinion a proper list be designed?


(1) Lists should terminate, but there is no enforcement of a final rdf:nil:

      A -> B -> C   // no NIL 

(2) Lists should not be cyclic, though this is possible with RDF lists:

      A -> B
      ^    |
      |    v
      D <- C

(3) Lists should not have more than one head, but it's possible with RDF
lists:

      A1
       \
        v
         B -> rdf:nil
        ^
       /
      A2
        
Functionality and min-1 cardinality would not help here. 

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

>Cheers,
>reto

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