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
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:30 UTC