ISSUE-68 (nonmonotonic mapping): REPORTED: mapping rules are non-monotonic from OWL Working Group Issue Tracker on 2007-11-20 (public-owl-wg@w3.org from November 2007)

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

http://www.w3.org/2007/OWL/tracker/issues/

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