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

Profiles document

From: Carsten Lutz <clu@tcs.inf.tu-dresden.de>
Date: Tue, 08 Apr 2008 14:30:58 +0200 (CEST)
To: public-owl-wg@w3.org
Message-id: <Pine.LNX.4.64.0804081422460.27250@frege.inf.tu-dresden.de>

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.


*      Carsten Lutz, Institut f"ur Theoretische Informatik, TU Dresden       *
*     Office phone:++49 351 46339171   mailto:lutz@tcs.inf.tu-dresden.de     *
Received on Tuesday, 8 April 2008 12:31:42 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:03 UTC