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