- From: Michael Schneider <schneid@fzi.de>
- Date: Mon, 22 Sep 2008 17:43:42 +0200
- To: "Sandro Hawke" <sandro@w3.org>
- Cc: <public-owl-wg@w3.org>
Received on Monday, 22 September 2008 15:44:24 UTC
>-----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