W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2002

ISSUE: Entailing inconsistencies

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Mon, 20 May 2002 20:09:52 +0200
To: michael.smith@eds.com
Cc: www-webont-wg@w3.org
Message-ID: <OFEFD6D7DF.1080C385-ONC1256BBF.00638EC7@agfa.be>
TITLE: Entailing inconsistencies

DESCRIPTION: The Web is decentralized, allowing any one
to say anything. As a result, different viewpoints may be
contradictory, or even false information may be provided.
In order to prevent agents from combining incompatible
data or from taking consistent data and evolving it into
an inconsistent state, it is important that inconsistencies
can be detected automatically.
OWL could have an explicit property owl:inconsitentWith
so that all kinds of inconsistencies could be entailed
(at least there could be a whole bunch of testcases).

RAISED BY: Jos De Roo

REFERENCE: http://www.w3.org/TR/webont-req/#goal-inconsistency

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Monday, 20 May 2002 14:10:40 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:50 GMT