W3C home > Mailing lists > Public > public-owl-comments@w3.org > May 2009

Syntactic sugar for closure axioms

From: Paradies, Simon <simon.paradies.ext@siemens.com>
Date: Mon, 11 May 2009 18:40:42 +0200
Message-ID: <CDE7561BAD10B9459D2151FFD3DB2AE756BCF0@MCHP7I7A.ww902.siemens.net>
To: <public-owl-comments@w3.org>
Dear Working Group members,

The use of OWL to describe common object relational models and its
instantiations is an intuitive use case. 
However, due to the OWA semantics the use of cardinality constraints in
OWL for model checking and classification purposes is not trivially
Not considering further hassles like non-UNA, a loophole is to add
closure axioms to individuals in the form of 'property
allValuesOf({object1, object2, ...})' for each property. Thus, it is
necessary to assert the non-existence of further values for each
property. This is a tedious task and blows up the footprint of the KB
It would be desirable to be able to asserted this using some form of
syntactic sugar.
Albeit altering syntax is not being considered in the current state of
the specification process (cf.
l), I would like to post this issue for discussion and future

With best regards,
Simon Paradies

External service provider at Siemens AG
Corporate Technology
Otto-Hahn-Ring 6
81739 Munich, Germany
Tel.: +49 (89) 636-41451 
Fax: +49 (89) 636-49438 

Important notice: This e-mail and any attachment thereof contain
corporate proprietary information. If you have received it by mistake,
please notify us immediately by reply e-mail and delete this e-mail and
its attachments from your system. Thank you.
Received on Monday, 11 May 2009 20:07:27 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:40:21 UTC