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