W3C home > Mailing lists > Public > www-rdf-logic@w3.org > December 2000

Re: Logic and Using The Semantic Web Toolbox

From: Graham Klyne <gk-lists@dial.pipex.com>
Date: Thu, 07 Dec 2000 15:55:58 +0000
Message-Id: <>
To: pat hayes <phayes@ai.uwf.edu>
Cc: www-rdf-logic@w3.org
At 12:50 PM 12/4/00 -0600, pat hayes wrote:
>Tim Berners-Lee *seems* to be saying that negation can be defined in RDF 
>by reification.

I haven't had the benefit of direct conversation with TimBL on this topic, 
but based on his design issues "toolbox" paper I *think* he is claiming 
that negation can be defined using reification *and* introducing some new 
externally-defined concept;  i.e. that base RDF alone is not 
sufficient.  Which is what I understand you to be saying.


Graham Klyne                       Content Technologies Ltd.
Strategic Research              <http://www.mimesweeper.com>
Received on Friday, 8 December 2000 10:25:24 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:45:35 UTC