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

RE: ACTION-210: Review on "Conformance" section

From: Michael Schneider <schneid@fzi.de>
Date: Wed, 8 Oct 2008 19:11:00 +0200
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0D3CF5C@judith.fzi.de>
To: "Ian Horrocks" <ian.horrocks@comlab.ox.ac.uk>
Cc: <public-owl-wg@w3.org>
Hi Ian!

Ian Horrocks answered to me:

>> Further, there are certain restrictions on the datatype map at
>> least for OWL 2 RL, see
>>
>>   <http://www.w3.org/2007/OWL/wiki/Fragments_Proposal#Entities_3>
>>
>>   "The following predefined OWL 2 datatypes
>>   MUST NOT be used in OWL 2 RL: ..."
>>
>> This sounds to me as if an OWL 2 RL reasoner cannot be semantically
>> conformant!?
>
>I don't see the problem. Provided the reasoner is sound and complete
>for the restricted set of datatypes defined in the profile, then it
>can be conformant. Similarly for the other profiles.

Section 2.1.2 of the Conformance document ("Datatype Map Conformance")
requires:

  "In OWL 2, semantic conditions are defined 
  with respect to a datatype map [OWL 2 Specification]. 
  This MUST be either the OWL 2 Datatype map [OWL 2 Specification], 
  or an extension of the OWL 2 Datatype map 
  to include additional datatypes."

I understand this to define "datatype map conformance" for all profiles of
OWL 2, including RL, is this right? 

But if an RL reasoner is not allowed to have certain datatypes from the OWL
2 Datatype map in its datatype map ("the following predefined OWL 2
datatypes MUST NOT be used in OWL 2 RL"), how then can any RL reasoner ever
be "datatype map conformant"?

Michael

--
Dipl.-Inform. Michael Schneider
FZI Forschungszentrum Informatik Karlsruhe
Abtl. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: Michael.Schneider@fzi.de
Web  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555

FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts
Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus


Received on Wednesday, 8 October 2008 17:11:41 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:07 UTC