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

FW: TopQuadrant response to OWL2 LC

From: Michael Schneider <schneid@fzi.de>
Date: Wed, 28 Jan 2009 12:07:00 +0100
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0F98D47@judith.fzi.de>
To: "W3C OWL Working Group" <public-owl-wg@w3.org>
[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.


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


Received on Wednesday, 28 January 2009 11:07:42 UTC

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