W3C home > Mailing lists > Public > public-owl-wg@w3.org > April 2008

Re: Profiles document

From: Jie Bao <baojie@cs.rpi.edu>
Date: Tue, 8 Apr 2008 14:49:09 -0400
Message-ID: <b6b357670804081149q7f677748l69bcbc3592287a67@mail.gmail.com>
To: "Carsten Lutz" <clu@tcs.inf.tu-dresden.de>
Cc: public-owl-wg@w3.org

There was a "shared abstract", shown as the 1st paragraph. I deleted it.

Jie

On Tue, Apr 8, 2008 at 8:30 AM, Carsten Lutz <clu@tcs.inf.tu-dresden.de> wrote:
>
>  Dear all,
>
>  I have rewritten the intro of the profiles document as discussed at
>  the F2F, i.e., I have added a short description of each profile.
>
>  To explain the differences between the profiles, it is necessary to
>  refer to reasoning tasks such as satisfiability and subsumption. I
>  have added a brief description of these tasks at the end of the intro,
> which is somewhat awkward. Alternatives are to (a) have an
>  additional section ("preliminaries"? "reasoning tasks"?) and (b)
>  not to explain them at all. Opinions welcome.
>
>  Could some Wiki expert please take a look at the abstract? It shows
>  two paragraphs, and the first one should be deleted. However, I cannot
>  find it in the Wiki sourcecode.
>
>  greetings,
>                 Carsten
>
>  --
>  *      Carsten Lutz, Institut f"ur Theoretische Informatik, TU Dresden
> *
>  *     Office phone:++49 351 46339171   mailto:lutz@tcs.inf.tu-dresden.de
> *
>
>



-- 
Jie Bao
Tetherless World Constellation
Department of Computer Science
Rensselaer Polytechnic Institute
Troy, NY 12180
baojie@cs.rpi.edu
http://www.cs.rpi.edu/~baojie/
Received on Tuesday, 8 April 2008 18:49:48 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 April 2008 18:49:50 GMT