W3C home > Mailing lists > Public > www-webont-wg@w3.org > December 2001

Re: Use case categories - 1st cut (action due by Thurs)

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
Message-Id: <OF0ABAD97C.069A9E8A-ONC1256B1A.002E3E87@bayer-ag.com>

> 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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:25 UTC