- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Thu, 6 Dec 2001 09:57:31 +0100
- To: dlm@ksl.stanford.edu
- Cc: heflin@cse.lehigh.edu, hendler@cs.umd.edu, www-webont-wg@w3.org
> 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.html
Received on Thursday, 6 December 2001 04:00:27 UTC