W3C home > Mailing lists > Public > www-rdf-interest@w3.org > July 2001

Re: [sem-dev] Use of 'that' to express reification in N3 type languages.

From: Seth Russell <seth@robustai.net>
Date: Mon, 23 Jul 2001 14:31:37 -0700
Message-ID: <006d01c113be$db93e020$b17ba8c0@c1457248a.sttls1.wa.home.com>
To: <sem-dev@yahoogroups.com>, <www-rdf-interest@w3.org>
Sean:

:Seth :thinksThat { :Gore :won :TheElection } .
:Seth :thinksThat { { :Gore :won :TheElection } a log:Truth } .
{ :Gore :won :TheElection } a log:Falsehood .

Seth:

Hmm.. I wonder what cwm would do if you actually fed that in and then asked whether Gore won the election or not.   But congrats, you met the challenge.  Yet I am still troubled by using the {} construct to talk about both the statement and the context of the statement.  It seems to me that there are three separate identities here:

1) the functioning of the statement itself
2) the statement as a topic of discussion
3) the context of the statement.

Semenglish gives us three distinct identities for those:

1) A r B.
2) that (A r B)
3) {A r B}

N3 gives us two:

1) :A :r :B.
2) {A r B}

I have been racking my brain to think of a practical example where conflating 2 & 3 will get us into trouble ... so far I can't think of any ... perhaps somebody else can ...

...thanks for the dialogue.
Seth
Received on Monday, 23 July 2001 17:37:38 GMT

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