RE: Survey on titles for OWL2 Semantics documents

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

Agreed.

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.

Cheers,
Michael

[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