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

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

Mike Smith

Clark & Parsia

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