- 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
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 UTC