Proposed resolution to ISSUE-133 (addressing ACTION-192)

• From: Michael Smith <msmith@clarkparsia.com>
• Date: Wed, 03 Sep 2008 12:08:10 -0400
• To: public-owl-wg <public-owl-wg@w3.org>
• Message-Id: <1220458090.19821.30.camel@msmith-laptop-wired.int.clarkparsia.com>

Based on discussions with Diego (thereby dispatching ACTION-192) I
propose resolving ISSUE-133 by removing features that require the UNA,
adding narrative text describing DL-Lite_A as an extension of OWL 2 QL,
and remaining silent on any extension that requires preprocessing the
set of axioms (e.g., support for SameIndividual axioms).


This requires the following document edits

+ Removing functional property and key axioms from OWL 2 QL profile

+ Removing the existing global restrictions from the OWL 2 QL profile

+ Modifying the OWL 2 QL profile introductory text to include a text
mentioning DL-Lite_A as an extension which adds functional properties
and keys but requires the UNA.


-- 
Mike Smith

Clark & Parsia

Received on Wednesday, 3 September 2008 16:08:57 UTC