- From: Alan Ruttenberg <alanruttenberg@gmail.com>
- Date: Sun, 16 Mar 2008 19:19:45 -0400
- To: Carsten Lutz <clu@tcs.inf.tu-dresden.de>
- Cc: public-owl-wg@w3.org
Hi Carsten, Given that the fragments document is shaping up, I wonder what the state of this issue is? The feature overview lists both domains/ranges and property inclusions. So is this issue ready to close? -Alan > There are at least two versions of EL++ that are tractable. These > two versions are incomparable in expressive power, and the current > document lists only one of them. The fragment that is not listed > offers both domain and range restrictions and captures, for example, > the ontology NCI. What it does not have is role inclusions. > > An obvious remedy would be to list both fragments of EL++. However, I > have hope that we can do better. We might be able to give a fragment > that (unlike the one listed at the moment) truely resides inside OWL > 1.1, that has domain and range restrictions, and that has (acyclic) > role inclusions and is still tractable. *This* is actually the > fragment that I think should be OWL Light (see ISSUE-78 on > tractable fragments). I need some time to work out details.
Received on Sunday, 16 March 2008 23:20:20 UTC