RDF-Based Semantics: new section listing axiomatic triples pre-final

Hi!

If you like, you may have a(nother) look at the set of axiomatic triples that I have added to the RDF-Based Semantics (as discussed in the last TC):

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

I'm now basically happy with the grouping and format. One can easily copy and paste the triples in a alphabetically sorted way from those tables. It's only too wide for A4/letter paper. Maybe I will reduce the font size later on, but for the moment it's ok. 

I have also added a small amount of explaining text to Sections 6.2 and 6.3 concerning the datatypes and facets, respectively. This was always meant to be covered by those sections, but wasn't really clear from the text, and I thought that it would be better to talk about those terms explicitly, in particular since there are now separate tables for the datatypes and facets axiomatic triples in the new Section 6.4.

And, if decided, several of the triples will need to be adjusted in the way that I asked for in my mail about owl2.owl, but nothing else in the document would need to be changed then.

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