- From: Jie Bao <baojie@cs.rpi.edu>
- Date: Tue, 8 Apr 2008 14:49:09 -0400
- 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 UTC