Hello, I';d just like to note that both top/bottom properties and easy keys have already been included into DL-Lite along the lines of what Diego suggested. Hence, there is no further need to change the spec. Regards, Boris > -----Original Message----- > From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org] On Behalf Of Diego Calvanese > Sent: 13 August 2008 21:31 > To: Ian Horrocks; public-owl-wg Group WG > Subject: ACTION 165 (Investigate easy keys in dl-lite) > > > 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 14:16:18 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:41:51 UTC