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.

Received on Wednesday, 28 November 2007 17:21:33 UTC