- From: Jie Bao <baojie@cs.rpi.edu>
- Date: Mon, 15 Sep 2008 21:11:46 -0400
- To: "Sandro Hawke" <sandro@w3.org>
- Cc: public-owl-wg@w3.org
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 01:12:23 UTC