W3C home > Mailing lists > Public > public-owl-wg@w3.org > January 2009

RE: missing(?) RFC2119 statement in Direct Semantics

From: Michael Schneider <schneid@fzi.de>
Date: Mon, 19 Jan 2009 21:59:14 +0100
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0F98704@judith.fzi.de>
To: "Boris Motik" <boris.motik@comlab.ox.ac.uk>
Cc: "Ian Horrocks" <ian.horrocks@comlab.ox.ac.uk>, "W3C OWL Working Group" <public-owl-wg@w3.org>

>-----Original Message-----
>From: Boris Motik [mailto:boris.motik@comlab.ox.ac.uk]
>Sent: Monday, January 19, 2009 7:01 PM
>To: 'Ian Horrocks'; 'W3C OWL Working Group'
>Cc: Michael Schneider
>Subject: RE: missing(?) RFC2119 statement in Direct Semantics
>
>Hello,
>
>This was actually deliberate: the Direct Semantics does not actually use
>any of the MAY, MUST, etc. I'd be therefore inclined to
>remove the paragraph introducing these keywords from the Direct
>Semantics.

Ah, indeed, no occurrence. But I don't really read this paragraph as a
per-document note. Or even if I would do so, then I'd rather read it as
"whenever there is a "must", then it will be rendered so and so...". So it's
an "All" restriction rather than an "All-Exists" restriction to me. :)

I would simply keep it in /all/ our documents in exactly the same form, and
approximately at the same place (at the end of the intro, at the moment).
Having it in doesn't hurt, anyway.
 
Cheers,
Michael

--
Dipl.-Inform. Michael Schneider
Research Scientist, Dept. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: schneid@fzi.de
WWW  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555

============================================================================
==

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
Stiftung Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
Prof. Dr. rer. nat. Dr. h.c. Wolffried Stucky, Prof. Dr. rer. nat. Rudi
Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus

============================================================================
==



Received on Monday, 19 January 2009 20:59:56 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 19 January 2009 20:59:56 GMT