- From: Frank van Harmelen <Frank.van.Harmelen@cs.vu.nl>
- Date: Fri, 22 Mar 2002 12:14:50 +0100
- 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