RE: OWL dot OWL file

Hi again!

To complete my proposal from earlier this day, I have now added to the
RDF-Based Semantics my proposal for the list of axiomatic triples, which I
have talked about in the last TC:

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

The first two "blocks" on "CLASSES" and "PROPERTIES" are exactly what I have
earlier proposed as the content of the owl2.owl ontology. It covers all the
OWL 2 classes and properties, and in addition the four annotation properties
from RDFS. So, by this means, owl2.owl would be represented in one of our
OWL 2 documents, and would have the same state as in OWL 1: There, it was
/informative/ and was contained in an appendix (in the Reference document).
The nice thing here is that it perfectly matches the given place in the
RDF-Based Semantics, it's not simply an "add on".

In addition, there are three further blocks on "DATATYPES", "FACETS" and on
"ADDITIONAL AXIOMATIC TRIPLES FOR RDF AND RDFS", which I only consider to be
of relevance for that section on "Axiomatic Triples" in the RDF-Based
Semantics. The third block covers all the 30+ mandatory datatypes of OWL 2.
The fourth block covers the facets (as datatype properties). The triples in
these two blocks correspond to what's written in the texts of Section 5.2
and 5.3 of the RDF-Based Semantics, respectively. The fifth block contains
the triples that make several OWL terms equivalent to terms from RDF(S):
e.g. owl:ObjectProperty is equivalent to rdf:Property in the OWL 2 RDF-Based
Semantics.

@Ivan: Can you please have a closer look to this list, maybe checking with
what's in your implementation? I could do this myself, but it's better to
have a second pair of eyes on this large list.

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