RE: Datatype disjointness implemented

Oops, I missed that -- sorry and thanks for the pointer!

Boris

> -----Original Message-----
> From: Michael Schneider [mailto:schneid@fzi.de]
> Sent: 12 March 2009 12:06
> To: Boris Motik
> Cc: W3C OWL Working Group
> Subject: RE: Datatype disjointness implemented
> 
> Boris,
> 
> you haven't removed owl:realPlus from table 3 of the Structural Spec.
> 
> Anyway, I am following your /intended/ lead in the RDF-Based Semantics. :)
> 
> 
> <http://www.w3.org/2007/OWL/wiki/index.php?title=RDF-Based_Semantics&diff=19
> 587&oldid=19260>
> 
> Michael
> 
> >-----Original Message-----
> >From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org]
> >On Behalf Of Boris Motik
> >Sent: Thursday, March 12, 2009 12:44 PM
> >To: 'W3C OWL Working Group'
> >Subject: Datatype disjointness implemented
> >
> >Hello,
> >
> >I've just implemented yesterday's decision about datatype disjointness.
> >
> >The changes in the Syntax document are localized to Section 4. Here is
> >the diff,
> >although I doubt that it will be of great use, since the changes were
> >many:
> >http://www.w3.org/2007/OWL/wiki/index.php?title=Syntax&diff=19585&oldid=
> >19563
> 
> --
> 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 Thursday, 12 March 2009 12:11:28 UTC