RE: Survey on titles for OWL2 Semantics documents

Oops, this didn't made it to the list.

Michael

>-----Original Message-----
>From: Michael Schneider
>Sent: Monday, September 22, 2008 4:52 PM
>To: 'Uli Sattler'; Bijan Parsia
>Cc: Sandro Hawke; Ivan Herman
>Subject: RE: Survey on titles for OWL2 Semantics documents
>
>Uli and Bijan!
>
>>> Of course, I also rarely say "RDF Based Semantics", but "OWL (2) Full
>>> Semantics" instead.
>>>
>>
>>I guess these thoughts and shifts are due to the fact that we are only
>>now thinking about "how would somebody outside understand these
>>names?", and I would like to avoid the reading
>>
>>"this semantics is based on DL semantics - which i have no idea about
>>and now worry that i have to learn about in order to understand it"
>>and rather convey the reading
>>
>>"this semantics is bog-standard first order semantics - which i might
>>have seen in many forms before"
>>
>>Does this make sense? Cheers, Uli
>
>I think, "standard first order semantics" is fine by me, because it's
>distinctive ("FOL" alone wouldn't be), makes sense by its own
>("Semantics"
>wouldn't), is a typical name used by people to refer to the DL Semantics
>(SCNR ;-)), and isn't at risk to insult RDF people ("Primary Semantics"
>probably would).
>
>So why not call it:
>
>  "OWL 2 Standard First Order Semantics"
>
>(a bit long, but not longer than the proposed "Direct Model-Theoretic
>Semantics")
>
>or:
>
>  "Standard FOL Semantics"
>
>(the latter will at least be a typically used short form).
>
>Cheers,
>Michael

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