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

Re: SEM: semantics for current proposal (why R disjoint V?)

From: Frank van Harmelen <Frank.van.Harmelen@cs.vu.nl>
Date: Fri, 22 Mar 2002 12:14:50 +0100
Message-ID: <3C9B122A.2020106@cs.vu.nl>
To: webont <www-webont-wg@w3.org>
Jeremy Carroll wrote:

>>[1] 
>>
> http://www-lti.informatik.rwth-aachen.de/~clu/papers/archive/lutzdiss.pdf
> 
> I don't think I have time to read 225 pages ... :(
> 
> Is there a shorter version of the central argument?


Jeremy,

This is a well known proof method called "proof by intimidation" :-)

Frank.
    ----
Received on Friday, 22 March 2002 06:15:44 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:48 GMT