status of ISSUE-79 ?

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.