W3C home > Mailing lists > Public > public-owl-wg@w3.org > March 2008

Re: Data property axioms in EL++ [ was Re: Review of Fragments Doc for ACTION-110 ]

From: Carsten Lutz <clu@tcs.inf.tu-dresden.de>
Date: Thu, 27 Mar 2008 10:00:22 +0100 (CET)
To: Michael Smith <msmith@clarkparsia.com>
Cc: public-owl-wg@w3.org
Message-id: <Pine.LNX.4.64.0803270953450.23927@frege.inf.tu-dresden.de>

Hi Mike,

I send this in Cc: to the list.

On Wed, 26 Mar 2008, Michael Smith wrote:
>
> Carsten,
>
> The comment below got no reply on the WG list.  Can you verify that the
> axioms are permissible?

DisjointDataProperties are completely harmless and can be allowed. A
lot of the other EL++ data stuff in the fragments document is broken
and gives rise to intractability (will write more later).

Regarding DisjointObjectProperties: this can also be allowed (is
harmless due to the non-structural restrictions in OWL 1.1 that we
also adopt for EL++). Same holds for IrreflexiveObjectProperty and
AsymmetricObjectProperty. All of them should be allowed.

greetings,
 		Carsten

> On Mon, 2008-03-17 at 18:04 -0400, Michael Smith wrote:
>
>> Additionally, I am uncertain about,
>>
>> Section 2.2.4: EL++ Axioms:
>>
>> + Are DisjointDataProperties axioms supposed to be in EL++? (The spec
>> currently includes them?  I am not that familiar with the literature
>> here and couldn't quickly find them in the references.  I ask b/c
>> DisjointObjectProperties are explicitly disallowed.
>
>
> Thanks,
> -- 
> Mike Smith
>
> Clark & Parsia
>
>

--
*      Carsten Lutz, Institut f"ur Theoretische Informatik, TU Dresden       *
*     Office phone:++49 351 46339171   mailto:lutz@tcs.inf.tu-dresden.de     *
Received on Thursday, 27 March 2008 09:01:08 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 27 March 2008 09:01:10 GMT