W3C home > Mailing lists > Public > www-webont-wg@w3.org > April 2002

thinking about unasserted triples

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
Message-ID: <OF4E6EF8E7.09842CE1-ONC1256B98.00456AE9@agfa.be>
[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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:43 UTC