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

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:41:51 UTC