ISSUE-79 (EL++): REPORTED: EL++ Variants

ISSUE-79 (EL++): REPORTED: EL++ Variants

http://www.w3.org/2007/OWL/tracker/issues/

Raised by: Bijan Parsia
On product: 

(On behalf of Carsten Lutz.)

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.