Re: Wiki-page on EL++ and ISSUE-79

Thanks Carsten!
Regarding integrating into Bernardo's document - as long as it is  
Bernardo's version OK. For the version the WG is working on we would  
need to discuss it at a meeting. If that's what's proposed, could you  
please submit an issue?

Thanks,
Alan

On Dec 12, 2007, at 9:07 AM, Carsten Lutz wrote:

>
> Dear all,
>
> as proposed by Jim, I have set up a Wiki page with details on the EL++
> tractable fragment of OWL 1.1 DL. You can find it at
>
> 	http://www.w3.org/2007/OWL/wiki/EL
>
> The version of EL++ given there is, in my opinion, the natural version
> of EL++ that comes up as a fragment of OWL 1.1 DL. It differs from the
> one given in Bernardo's "tractable fragments" document in a number of
> (mostly minor) ways. Notably,
>
> - some additional expressive power is added, such as reflexive  
> properties,
>   facts, and datatypes
>
> - a nonstructural restriction is adopted to achieve tractability (the
>   fragment reported in Bernardo's document doesn't have it, and turns
>   out to be at least PSpace-hard).
>
>> From my perspective, this settles ISSUE-79 (raised by myself),  
>> which asks
> for the appropriate version of EL++ that we should consider within  
> this
> group.
>
> As an aside: note that my wiki page is quite long. If EL++ should
> become part of the standard, I feel that the document should be even
> more detailed. This indicates that standardizing a larger number of
> tractable fragments will be quite a bit of work, and produce quite
> long documents.
>
> greetings,
> 		Carsten
>
> PS: Bernardo, if you want to integrate all or some of this in your
>     document, please go ahead.
>
> --
> *      Carsten Lutz, Institut f"ur Theoretische Informatik, TU  
> Dresden       *
> *     Office phone:++49 351 46339171   mailto:lutz@tcs.inf.tu- 
> dresden.de     *
>

Received on Wednesday, 12 December 2007 17:31:39 UTC