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

RE: ACTION-165 (Investigate easy keys in dl-lite) and ACTION-162 (Investigate top/bottom roles in dl-lite)

From: Boris Motik <boris.motik@comlab.ox.ac.uk>
Date: Thu, 14 Aug 2008 00:14:34 +1000
To: "'public-owl-wg Group WG'" <public-owl-wg@w3.org>
Message-ID: <000b01c8fd4e$ec724f90$a9754381@wolf>


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.



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