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

ACTION 165 (Investigate easy keys in dl-lite)

From: Diego Calvanese <calvanese@inf.unibz.it>
Date: Wed, 13 Aug 2008 13:30:34 +0200
Message-Id: <100994DF-4E6E-46D3-AE85-4F64A3B7916C@inf.unibz.it>
To: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>, public-owl-wg Group WG <public-owl-wg@w3.org>

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 11:31:17 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:41:51 UTC