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

RE: ISSUE-133 (una in dl-lite): DL-Lite Profile modified to include UNA

From: Michael Smith <msmith@clarkparsia.com>
Date: Tue, 08 Jul 2008 08:57:20 -0400
To: Boris Motik <boris.motik@comlab.ox.ac.uk>
Cc: 'OWL Working Group WG' <public-owl-wg@w3.org>
Message-Id: <1215521840.953.6.camel@msmith-laptop-wired.int.clarkparsia.com>

On Tue, 2008-07-08 at 13:48 +0100, Boris Motik wrote:

> I completely agree that easy keys, as defined right now, don't do anything in DL-Lite, and I share your sentiment. Note, however,
> that true easy keys (without UNA) will never be compatible with DL-Lite, as they invariably lead to recursion (which makes queries
> not first-order reducible). The only reason why easy keys work with the current DL-Lite is because they don't do anything. Thus, I
> believe we're a bit stuck there...

Easy keys are not the motivation for this issue.  I raised the issue
because I was alarmed that UNA was added and SameIndividual axioms were
removed.

-- 
Mike Smith

Clark & Parsia
Received on Tuesday, 8 July 2008 12:58:00 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:05 UTC