- From: Boris Motik <boris.motik@comlab.ox.ac.uk>
- Date: Tue, 16 Sep 2008 09:08:03 +0100
- To: "'Jie Bao'" <baojie@cs.rpi.edu>, "'Sandro Hawke'" <sandro@w3.org>
- Cc: <public-owl-wg@w3.org>
Hello, This seems like a reasonable suggestion: this is exactly what we had in OWL 1. Regards, Boris > -----Original Message----- > From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org] On Behalf Of Jie Bao > Sent: 16 September 2008 02:12 > To: Sandro Hawke > Cc: public-owl-wg@w3.org > Subject: Re: better titles for the two Semantics documents? > > > How about be consistent with OWL 1? i.e., > > * Direct Model-Theoretic Semantics > * RDF-Compatible Model-Theoretic Semantics > > http://www.w3.org/TR/owl-semantics/ > > Jie > > On Mon, Sep 15, 2008 at 8:53 PM, Sandro Hawke <sandro@w3.org> wrote: > > > > I was talking with Ian and Alan about the upcoming publications, and I > > see the list of documents looks something like this: > > > > 1. Structural Specification and Functional-Style Syntax > > => 2. Model-Theoretic Semantics > > => 3. RDF-Based Semantics > > 4. Mapping to RDF Graphs > > 5. XML Serialization > > 6. Profiles > > [ 7. Primer -- not being published in this round ] > > [ 8. Conformance and Test Cases -- unknown pub plans ] > > > > Michael pointed out earlier that the RDF-Based Semantics (#3 above) also > > use model theory, so the name of the second document is somewhat > > confusing! Does anyone have any better ideas? Talking with Ian and > > Alan, some of the ideas were: > > DL Semantics > > First Order Semantics > > Primary Semantics > > Base Semantics > > or renaming them both, so it's > > Semantics of OWL DL, EL, and QL > > Semantics of OWL Full and RL > > > > I don't love any of these. Does anyone have any better ideas? What > > is it about http://www.w3.org/2007/OWL/wiki/Semantics that > > distinguishes it from > > http://www.w3.org/2007/OWL/wiki/RDF-Based_Semantics (in a way that > > wont bother or mislead anyone)...? > > > > -- Sandro > > > > > > > > -- > Jie > http://www.cs.rpi.edu/~baojie
Received on Tuesday, 16 September 2008 08:16:36 UTC