- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Thu, 11 Apr 2002 15:55:48 +0200
- To: www-webont-wg@w3.org
[about my current understanding of these matters] 1. I can't find an argument to counter Peter's "The Same-Syntax Extension Paradox" -- http://lists.w3.org/Archives/Public/www-archive/2002Apr/0003.html 2. a derivation that asserted graph A entails consequent graph C is not yet(*) asserting C but >>>resolving<<< C using A i.e. we have to make sure that all models of A are also models of C (*)only when a proof argument is found it could be asserted -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 11 April 2002 09:56:33 UTC