ISSUE-44: POSTPONED: 5.12 Entailing inconsistencies

inconsistencies

POSTPONED: 5.12 Entailing inconsistencies

State:

CLOSED

Product:

Raised by:

Peter Patel-Schneider

Opened on:

2007-10-25

Description:

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

Related Actions Items:

No related actions

Related emails:

1. ISSUE-44 (inconsistencies): REPORTED: 5.12 Entailing inconsistencies (from sysbot+tracker@w3.org on 2007-10-25)

Related notes:

Display change log