ISSUE-79

EL++

RESOLVED: EL++ Variants

State:

CLOSED

Product:

Raised by:

Bijan Parsia

Opened on:

2007-11-28

Description:

(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.

Related Actions Items:

No related actions

Related emails:

1. Re: status of ISSUE-79 ? (from clu@tcs.inf.tu-dresden.de on 2008-03-17)
2. status of ISSUE-79 ? (from alanruttenberg@gmail.com on 2008-03-16)
3. Re: Wiki-page on EL++ and ISSUE-79 (from bcg@cs.man.ac.uk on 2007-12-12)
4. Re: Wiki-page on EL++ and ISSUE-79 (from ian.horrocks@comlab.ox.ac.uk on 2007-12-12)
5. Re: Wiki-page on EL++ and ISSUE-79 (from alanruttenberg@gmail.com on 2007-12-12)
6. Wiki-page on EL++ and ISSUE-79 (from clu@tcs.inf.tu-dresden.de on 2007-12-12)
7. Re: ISSUE-79 (EL++): REPORTED: EL++ Variants (from clu@tcs.inf.tu-dresden.de on 2007-11-29)
8. Re: ISSUE-79 (EL++): REPORTED: EL++ Variants (from bcg@cs.man.ac.uk on 2007-11-29)
9. Re: ISSUE-79 (EL++): REPORTED: EL++ Variants (from clu@tcs.inf.tu-dresden.de on 2007-11-28)
10. Re: ISSUE-79 (EL++): REPORTED: EL++ Variants (from bcg@cs.man.ac.uk on 2007-11-28)
11. ISSUE-79 (EL++): REPORTED: EL++ Variants (from sysbot+tracker@w3.org on 2007-11-28)

Related notes:

Display change log