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 UTC

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