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

Re: ACTION 165 (Investigate easy keys in dl-lite)

From: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
Date: Wed, 13 Aug 2008 17:45:34 +0100
Message-Id: <A2DAFDAF-B6CD-40D9-9EA8-0C96F01268B9@comlab.ox.ac.uk>
Cc: public-owl-wg Group WG <public-owl-wg@w3.org>
To: Diego Calvanese <calvanese@inf.unibz.it>

Good -- thanks!

Ian

On 13 Aug 2008, at 12:30, Diego Calvanese wrote:

> Hi Ian, hi all,
>
> easy keys can be included in DL-Lite without affecting the  
> computational properties of the fragment, provided all the (data  
> and object) properties that are included in a key assertion satisfy  
> the same syntactic restriction that already holds for properties  
> that are involved in functionality assertions.  Namely, such  
> properties cannot be specialized.
> So, easy-keys fit quite well within DL-Lite.
>
> - Diego
>
Received on Wednesday, 13 August 2008 16:46:16 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 13 August 2008 16:46:16 GMT