RE: Survey on titles for OWL2 Semantics documents

>-----Original Message-----
>From: Sandro Hawke [mailto:sandro@w3.org]
>Sent: Monday, September 22, 2008 5:35 PM
>To: Michael Schneider
>Cc: public-owl-wg@w3.org
>Subject: Re: Survey on titles for OWL2 Semantics documents
>
>
>> >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).
>
>I'll note that "OWL 2 Web Ontology Language: First Order Semantics" is
>the second option on the survey....  But I've added your two above
>(using the word "Standard") as well:

Thanks! IMO, the word "standard" is the distinguishing bit here, because OWL
2 Full is FOL, too, but not "Standard FOL".

Btw: In spite of its length, the name "OWL 2 Standard First Order Semantics"
sounds pretty elegant to my ears. :-)

Michael

Received on Monday, 22 September 2008 15:44:24 UTC