W3C home > Mailing lists > Public > www-rdf-logic@w3.org > April 2001

RE: Reification

From: Peter Crowther <Peter.Crowther@melandra.com>
Date: Mon, 9 Apr 2001 15:36:28 +0100
Message-ID: <B6F03FDBA149CA41B6E9EB8A329EB12D05A107@vault.melandra.net>
To: "'Danny Ayers'" <danny@panlanka.net>, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: www-rdf-logic@w3.org
> From: Danny Ayers [mailto:danny@panlanka.net]
> Can you give me an example of a model that *can* be used to 
> capture the meaning?

http://www.daml.org/2001/03/model-theoretic-semantics.html, amongst others.

> Why does it need to capture the meaning in any case - if machine A
> understands a = !b means 'not' and machine B understands a = 
> !b means 'not'
> why does the data model have to understand for a message to 
> be conveyed?

*If*.  It's a big if.  How do you get both machines to understand?  Either a
standard that includes an understanding of negation in such a form that it
can be used by machines A and B --- the 'meaning' of negation --- or some
bilateral agreement that a particular arrangement of symbols denotes
negation, that is then left open to each party to interpret.  The first
scales when machines C to Z join in; the second does not, as machine C may
be unaware of the special meaning of the sequence of symbols.

		- Peter
Received on Monday, 9 April 2001 10:36:46 GMT

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