FW: TopQuadrant response to OWL2 LC

[send to WG list only for internal discussion]

>From the "Other Comments" section:

[[
DisjointUnion subPropertyof UnionOf
    The new features introduced as syntactic sugar introduce dangers of interoperability failure between OWL1 and OWL2. Some simple steps should be taken to reduce such risks, such as adding the assertion that owl:disjointUnionOf rdfs:subPropertyOf owl:unionOf.
]]

This would not be allowed in OWL 2 DL, of course. And, in this particular case, it would even confuse a "constructor" for axioms (owl:disjointUnionOf) with a "constructor" for class expressions (owl:unionOf).

However, it turns out that the suggested triple is true in the OWL 2 Full semantics, i.e. is entailed by the empty ontology.

Michael

-----Original Message-----
From: public-owl-comments-request@w3.org [mailto:public-owl-comments-request@w3.org] On Behalf Of Jeremy Carroll
Sent: Monday, January 26, 2009 10:51 PM
To: public-owl-comments@w3.org
Subject: TopQuadrant response to OWL2 LC


As indicated on Friday, here is the completed comment.
There have been some wording improvements from the earlier draft.

Jeremy Carroll, as TopQuadrant AC Rep

--
Dipl.-Inform. Michael Schneider
Research Scientist, Dept. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: schneid@fzi.de
WWW  : 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
Stiftung Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
Prof. Dr. rer. nat. Dr. h.c. Wolffried Stucky, Prof. Dr. rer. nat. Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus

==============================================================================