- From: OWL Working Group Issue Tracker <sysbot+tracker@w3.org>
- Date: Wed, 28 Nov 2007 17:21:26 +0000 (GMT)
- To: public-owl-wg@w3.org
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