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

status of ISSUE-79 ?

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Sun, 16 Mar 2008 19:19:45 -0400
Message-Id: <36BB5355-81DE-4456-933C-C8D8AC785B04@gmail.com>
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?

> 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

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