Where is the forbidden RDF vocabulary?

Hi!

I don't understand how the current WDs prevent "RDF syntax reflection" in
OWL-1.1-DL ontologies. For example, I don't manage to find out that the following RDF graphs
are disallowed in OWL-1.1-DL:

  Graph 1:

    (R11) rdf:type rdf:type rdf:type

  Graph 2:

    (R21) :w rdf:type rdf:List
    (R22) :w rdf:first :q
    (R23) :w rdf:rest rdf:nil

Note that in OWL-1.0, there existed a list of "disallowed vocabulary", which
prevented the above RDF graphs from being valid OWL-DL, see

  <http://www.w3.org/TR/owl-semantics/mapping.html#4.2>

Cheers,
Michael

--
Dipl.-Inform. Michael Schneider
FZI Forschungszentrum Informatik Karlsruhe
Abtl. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: Michael.Schneider@fzi.de
Web  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555

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 Regierungspräsidium Karlsruhe
Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus

Received on Monday, 28 January 2008 10:08:00 UTC