- From: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
- Date: Wed, 13 Aug 2008 17:45:34 +0100
- To: Diego Calvanese <calvanese@inf.unibz.it>
- Cc: public-owl-wg Group WG <public-owl-wg@w3.org>
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 UTC