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

Re: WebOnt General Requirements Subgroup - Initial E-mail

From: <jos.deroo.jd@belgium.agfa.com>
Date: Mon, 10 Dec 2001 23:23:58 +0100
To: connolly@w3.org
Cc: phayes@ai.uwf.edu, heflin@cse.lehigh.edu, dlm@ksl.stanford.edu, ned.smith@intel.com, jeremy_carroll@hp.com, jos.deroo.jd@belgium.agfa.com, herman.ter.horst@philips.com, hendler@cs.umd.edu, www-archive@w3.org
Message-Id: <OF09BEE00B.E0CF0ED1-ONC1256B1E.0079BA00@bayer-ag.com>

> About inconsistency... I'm happy with
> a requirement that our language should
> (a) have the ability to express
> inconsistent facts (e.g. using disjoint)
> and (b) the specification should have
> clear semantics for what's an inconsistency
> and what's not, but I don't want to
> go as far as (c) that it be straightforward, computationally,
> to determine, given any two expressions
> in our language, whether they're consistent.
> i.e. the sort of use cases I have in mind
> for a requirement about inconsistencies
> are, for example, catching common
> ontology-design errors (flag empty
> classes, flag empty classes that have
> things in them ;-), or well-known
> errors in the use of some ontology,
> like perhaps units mismatches in
> a space-ship-parts ontology.
> But I don't have any use cases that
> motivate a general decidability requirement.

my thoughts *intersect* with that
kind of inconsistency requirement
I think the examples I gave in
are *consistent* with that :-)

Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Monday, 10 December 2001 17:24:13 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:31:39 UTC