ISSUE: Entailing inconsistencies

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 UTC