Implementation of Resolutions on owl.owl Namespace Document and RDF-Based Semantics

Hi!

As decided on our last TC, I have changed my original proposal for owl.owl in

  <http://www.w3.org/2007/OWL/wiki/Owl2DotOwlDevel>

in two ways:

* Resolution: <http://www.w3.org/2007/OWL/meeting/2009-08-05#resolution_3>.

  The classes owl:Thing, owl:Class, and owl:ObjectProperty 
  are now used in some cases when plausible instead of 
  rdfs:Resource, rdfs:Class, and rdf:Property,
  following the practice in the original owl.owl  
  The original proposal together with the proposed changes 
  (starting with "#?") is given at
  <http://www.w3.org/2007/OWL/wiki/index.php?title=Owl2DotOwlDevel&oldid=25120>.

* Resolution: <http://www.w3.org/2007/OWL/meeting/2009-08-05#resolution_4>

  Treatment for the RDFS annotation properties has been removed, 
  i.e. owl.owl only treats the OWL 2 vocabulary now.

There is a lot of heading text there now, telling about the status of the development and deviations from the original owl.owl, and such. The deviations have largely reduced compared to my original proposal, but some are still relevant.
  
The changes are in the following diff:

  <http://www.w3.org/2007/OWL/wiki/index.php?title=Owl2DotOwlDevel&diff=25170&oldid=25120>

I have also updated Section 6.4 of the RDF-Based Semantics accordingly:

  <http://www.w3.org/2007/OWL/wiki/RDF-Based_Semantics#A_Set_of_Axiomatic_Triples>

The "relevant" triples in the owl.owl draft (the rdf:type, rdfs:subClassOf, rdfs:domain and rdfs:range triples, but /not/ the labels, comments and rdfs:isDefinedBy triples) now coincide with the "axiomatic triples" given in Table 6.1 and Table 6.2 in the RDF-Based Semantics in the cited section. Practically, this means that one can copy the triples from these two tables, add the necessary namespace prefixes to the top of the file, and translate them into RDF/XML. So owl.owl will be basically backed by one of our documents.

Btw: I have also updated my OWL 2 Full testsuite accordingly, but none of the WG-approved tests are affected by the performed change to owl.owl. So, no need to worry. :)

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