W3C home > Mailing lists > Public > public-owl-wg@w3.org > October 2007

ISSUE-44 (inconsistencies): REPORTED: 5.12 Entailing inconsistencies

From: OWL <sysbot+tracker@w3.org>
Date: Thu, 25 Oct 2007 08:47:03 +0000 (GMT)
To: public-owl-wg@w3.org
Message-Id: <20071025084703.D6023C6DB0@barney.w3.org>


ISSUE-44 (inconsistencies): REPORTED: 5.12 Entailing inconsistencies

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

Raised by: Peter Patel-Schneider
On product: 

5.12 Entailing inconsistencies

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).
Name 	I5.12-Entailing-inconsistencies
Raised By 	Jos De Roo
Received on Thursday, 25 October 2007 08:47:10 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:26 GMT