RE: Survey on titles for OWL2 Semantics documents

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


>-----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
>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
>  "Standard FOL Semantics"
>(the latter will at least be a typically used short form).

Dipl.-Inform. Michael Schneider
FZI Forschungszentrum Informatik Karlsruhe
Abtl. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Web  :

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 15:26:40 UTC