Re: WebOnt General Requirements Subgroup - Initial E-mail

[...]

> I wonder also if
> issues like being able to convey proofs for subsequent checking, and
> the associated requirement that they stay checkable (one might call
> it monotonicity of verifiability), should be thought of as a
> requirement.

my thoughts also *intersect* with that
yes, "convey for checking" and "stay checkable"
and those are testable!

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

Received on Monday, 10 December 2001 18:40:50 UTC