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).


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 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:43 UTC