W3C home > Mailing lists > Public > public-owl-wg@w3.org > September 2008

RE: Survey on titles for OWL2 Semantics documents

From: Michael Schneider <schneid@fzi.de>
Date: Mon, 22 Sep 2008 14:48:13 +0200
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0B990FA@judith.fzi.de>
To: "Sandro Hawke" <sandro@w3.org>, "Uli Sattler" <sattler@cs.man.ac.uk>
Cc: "Ivan Herman" <ivan@w3.org>, "Bijan Parsia" <bparsia@cs.man.ac.uk>, <public-owl-wg@w3.org>
Sandro Hawke wrote:

>> On 19 Sep 2008, at 16:29, Ivan Herman wrote:
>> > Ah! So the remark could be translated as 'there is nothing DL
>> > in it'. Right? This makes sense...
>> >
>> indeed, this is what I tried to say, cheers, Uli
>I'm baffled by this.
>I'm pretty sure they are not the semantics of full first-order logic.

Good point! The OWL 2 (DL) Semantics actually only provides interpretation
rules (FIXME: is this an appropriate term? There is AFAICT no name for the
entries in the different tables.) for expressions being allowed by the
(functional) syntax of OWL 2 DL.
>And they are the semantics of OWL DL, which I understand is a
>description logic (DL) language.  (As the W3C Recommendation on the
>subject says, "OWL DL is so named due to its correspondence with
>description logics".)
>So that makes them very DL specific.


FYI, the intro of the "Semantics" document states [1]:

  The semantics given here is strongly related 
  to the semantics of description logics [Description Logics] 
  and is compatible with the semantics of the 
  description logic SROIQ [SROIQ].


>I note that the phrase "DL Semantics" is often used in our meetings

I always use this particular term, because it's easy to speak, and it's
meaning is generally obvious to the people. I would never say "Semantics",
"Model-Theoretic Semantics", "First Order Semantics", or "Primary
Semantics", because I would expect that the people, to who I am talking,
would ask me for clarification about what I am talking about. I would rarely
say "the Semantics of OWL 2 DL and EL and QL", because I regard this, while
being very distinctive, also to be very clumsy. 

Of course, I also rarely say "RDF Based Semantics", but "OWL (2) Full
Semantics" instead.


[1] <http://www.w3.org/2007/OWL/wiki/Semantics#Introduction>

Dipl.-Inform. Michael Schneider
FZI Forschungszentrum Informatik Karlsruhe
Abtl. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: Michael.Schneider@fzi.de
Web  : 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
Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus

Received on Monday, 22 September 2008 12:58:51 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:41:52 UTC