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 message: [ Message body ]
Next message: Jeremy Carroll: "RE: minutes: March 21 WebOnt, for review"
Previous message: Jeremy Carroll: "LANG: OWL Light and triples"
In reply to: Jeremy Carroll: "RE: SEM: semantics for current proposal (why R disjoint V?)"
Next in thread: Peter F. Patel-Schneider: "Re: SEM: semantics for current proposal (why R disjoint V?)"
Reply: Peter F. Patel-Schneider: "Re: SEM: semantics for current proposal (why R disjoint V?)"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

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