- 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
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 *
Received on Tuesday, 8 April 2008 12:31:42 UTC