W3C home > Mailing lists > Public > public-owl-wg@w3.org > April 2009

RE: Review of Direct Semantics (ACTION 314)

From: Michael Schneider <schneid@fzi.de>
Date: Wed, 8 Apr 2009 14:04:33 +0200
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0011DA9E3@judith.fzi.de>
To: "Boris Motik" <boris.motik@comlab.ox.ac.uk>
Cc: "W3C OWL Working Group" <public-owl-wg@w3.org>, "Ivan Herman" <ivan@w3.org>
Boris Motik wrote:

>> >> * §1, 2nd par: "Since OWL 2 is an extension of OWL DL, ..." Didn't
>> >want to
>> >> turn away from this statement?
>> >>
>> >
>> >But this actually is true: each OWL DL ontology is an OWL 2 DL
>> >and it is therefore an OWL 2 ontology. Hence, I don't really see a
>> >problem with this statement.
>> Yes, you are right. But what I actually had in mind was that we
>> had LC comments on this particular kind of statements,
>> for example LC 28/FH2, which specifically refers to this phrase in the
>> Direct Semantics:
>>   <http://lists.w3.org/Archives/Public/public-owl-
>> So, I strongly suggest to change the text here.
>> I can see that, in this particular case, this statement is a rational
>> for the observation that the Direct Semantics is also a semantics for
>> the original OWL DL and OWL Lite. So, that's really good information
>> that people will be happy to learn.
>> Suggestion, why not start the sentence with something approximately
>>   "Since this semantics in this document is an extension
>>   of the Direct Semantics of OWL 1 ..."
>> IMHO, this will be completely uncontentious for people outside the WG,
>> and will still meet the purpose of the sentence.
>I've changed the sentence to this:
>ince each OWL DL ontology is an OWL 2 ontology, this document also
>provides a direct semantics for OWL Lite and OWL DL ontologies; this
>semantics is equivalent to the direct model-theoretic semantics of OWL
>Lite and OWL DL [OWL Abstract Syntax and Semantics].

This minimal rephrasing preserves the original meaning of the sentence,
and now really looks harmless to me. 
So I'm fine with this now. 

Summary: All my review comments to the Direct Semantics have now been satisfied.


Dipl.-Inform. Michael Schneider
Research Scientist, Dept. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: michael.schneider@fzi.de
WWW  : http://www.fzi.de/michael.schneider
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, RP Karlsruhe
Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
Prof. Dr. Dr. h.c. Wolffried Stucky, Prof. Dr. Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus

Received on Wednesday, 8 April 2009 12:05:15 UTC

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