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 UTC

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