- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Fri, 9 Jan 2004 01:53:02 +0100
- To: "connolly" <connolly@w3.org>
- Cc: www-archive@w3.org
in http://lists.w3.org/Archives/Public/www-archive/2004Jan/0013.html
DanC wrote:
[...]
> <DanCon> DanC: substitution is a concept that you're allowed to use
> without explanation in logic papers
I thought so too, but am lacking pointers...
maybe I'll simplify our output again to e.g.
[[
{:worksFor :transitiveOver :consistsOf.
:gSw :consistsOf :gSwBe.
:mk :worksFor :gSwBe} =>
{:mk :worksFor :gSw}.
]]
Maybe it's just the followed *paths* that should
be made observable and be validated...
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 8 January 2004 19:53:05 UTC