> i dont know that i have the "answer" but i have a few thoughts. > > - i agree with jeff that contradiction/inconsistencies is a requirement for > interoperability however it is really a requirement of any application that > wants to do any kind of verification and/or inference. this would include > services applications. > i think contradiction detection is more like search in that it is a technical > issue that would be needed across most applications. that's a nice way to put it i actually see it supporting the 4 categories [1] it is indeed like search/query/prove (and for the "prove" i mean to really get the proof of inconsistencies (which could be quite "deep")) -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/ [1] http://lists.w3.org/Archives/Public/www-webont-wg/2001Dec/0005.htmlReceived on Thursday, 6 December 2001 04:00:27 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:46 GMT