Re: Bug in RDF-Based Semantics: Type of facets

I would be happy to have a vote, but I"m not convinced it is  
necessary for something that is clearly just a bug-fix. Anyway, I  
will put it on the agenda for the next teleconf just to be on the  
safe side.

Ian


On 21 Jul 2009, at 20:28, Michael Schneider wrote:

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

Received on Sunday, 26 July 2009 08:16:54 UTC