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

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.

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
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus


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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:08 UTC