Bug in RDF-Based Semantics: Type of facets

Hi!

While working on the owl.owl/axiomatic triples stuff, I found a bug in the RDF-Based Semantics: All facets should be treated as data properties, but have actually been defined as object properties. 

This was only the case at one place in the document, namely in Section 5.3. At other relevant places in the document - most prominently in the semantic condition that defines the semantics of datatype restrictions - facets have always been treated as data properties. 

Since I consider this a clear bug, I have now proactively changed the type of facets to data properties, see:

  <http://www.w3.org/2007/OWL/wiki/index.php?title=RDF-Based_Semantics&diff=24865&oldid=24864>

But this is *not* an editorial change, but formally changes the specification. So I needed to inform the group. Formally, we are probably obliged to vote on this.
 
Additional note: This issue has no relevance for any of my uploaded test cases, since datatype restrictions (and therefore facets) are not covered by the OWL 2 RL/RDF rules. And for the same reason I consider it pretty unlikely that any implementation under development will be hit by this change.

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