W3C home > Mailing lists > Public > public-owl-wg@w3.org > November 2007

ISSUE-68 (nonmonotonic mapping): REPORTED: mapping rules are non-monotonic

From: OWL Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Tue, 20 Nov 2007 15:05:53 +0000 (GMT)
To: public-owl-wg@w3.org
Message-Id: <20071120150553.E06635F70A@stu.w3.org>

ISSUE-68 (nonmonotonic mapping): REPORTED: mapping rules are non-monotonic


Raised by: Jeremy Carroll
On product: 

The mapping rules have nonmonotonic behaviour.

Non-monotonocity generally has poor semantic behaviour, and this is likely to make the task of constructing an OWL Full semantics significantly harder.

Moveover, the sort of non-monotonicity described e.g.

DOMAIN[op] expands to rdfs:domain if OnlyOP(op) = true, and to owl11:objectPropertyDomain otherwise;

is likely to weaken the semantics as the information is increased, which is the incorrect direction.
Received on Tuesday, 20 November 2007 15:06:00 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:27 GMT