RE: What is it that's wrong with rdf:List

Paul Gearon wrote: 

>I haven't looked at your references yet, but both OWL Lite and OWL DL
>have constructs in them that are expressed in RDF using a list. So
>using a list does not force a model to become OWL Full.

OWL DL (and OWL Lite) does /not/ allow the use of RDF lists as /semantic
entities/, that is, you cannot use lists in statements like

    ex:journey ex:visitedCities ( ex:Berlin ex:London ex:Paris ) .

OWL DL uses RDF lists as part of the RDF encoding of its syntactic
constructs. For example, an intersection of classes is encoded by something
like

    _:x rdf:type owl:Class .
    _:x owl:intersectionOf ( :c1 :c2 ) .

So lists may only occur in these well-defined contexts. Every other use of
RDF lists is disallowed in OWL DL.

Michael

--
Dipl.-Inform. Michael Schneider
Research Scientist, 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, 18 June 2010 08:38:34 UTC