Re: yet another sidetrack on what a URI identifies

[that was indeed a very clear talk at www2000
...]

> As TimBL mentioned, cwm implements the integration
> of all this stuff... connecting KR to WWW. The
> log:semantics primitive in cwm is a simpler model
> than the 9711theory/HTTP model... but I think

right, I think I understand that after today
and we are really mistaken when not making the
distinction between e.g. the doc:Work and the log:Formula
(that's quite a shock and I'm hoping to repair soon...)

> it's a useful simplification, the way Newtonian
> physics is a useful simplification of relativistic
> physics. I hope to elaborate on that analogy
> sometime between now and our Feb ftf...

we stay tuned

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