ISSUE-81 (reification, negative assertions): reification unwise in negative property assertions from OWL Working Group Issue Tracker on 2007-11-28 (public-owl-wg@w3.org from November 2007)

From: OWL Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Wed, 28 Nov 2007 18:08:02 +0000 (GMT)
To: public-owl-wg@w3.org
Message-Id: <20071128180802.6B44AC6DB6@barney.w3.org>

ISSUE-81 (reification, negative assertions): reification unwise in negative property assertions

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

Raised by: Jeremy Carroll
On product: 

The mapping rules for NegativeObjectPropertyAssertions and NegativeDataPropertyAssertions both use reification.

It would be possible to map these as membership of the complement of the appropriate hasvalue restriction - avoiding reification. Jeremy sees this as preferable, but might cause round trip issues

Received on Wednesday, 28 November 2007 18:08:08 UTC