thinking about unasserted triples

[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