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

Re: use/mention and reification: rdf:predicate/subject/object [was: RDF Abstract Syntax...]

From: pat hayes <phayes@ai.uwf.edu>
Date: Tue, 29 May 2001 10:26:01 -0500
Message-Id: <v04210104b7396e0a828c@[]>
To: Graham Klyne <GK@ninebynine.org>
Cc: Dan Connolly <connolly@w3.org>, Jonathan Borden <jborden@mediaone.net>, Drew McDermott <drew.mcdermott@yale.edu>, www-rdf-logic@w3.org
>At 01:01 PM 5/26/01 -0500, Dan Connolly wrote:
>>But if you take the quotes (') out,
>>I can't see how it works. I discovered this problem
>>back in August when I was writing
>> http://www.w3.org/2000/07/hs78/KIF
>>and I have been trying to make sense of
>>       (rdf_subject ?s1 color)
>>without the ' ever since, and I can't make it work.
>Going out on a limb here, I'm going to hazard a guess that you need 
>quotation to make sense of this using the KIF wtr axiom schema, 
>because wtr is defined in terms of quotation.

That isnt quite right.  wtr is a function from sentences to 
propositions. In ansi-KIF, the neatest way to describe a sentence is 
by quoting it, but there are other ways, and wtr would apply to 
sentences described in any way. The issue isn't how to refer to the 
sentences, but the fact that wtr takes a sentence as its argument.

In fact it isnt possible to define (ie to axiomatize) wtr in KIF: it 
has to be taken as a primitive, and it is a very powerful one. Which 
is why using it to describe elementary syntax is like using a 
steam-hammer to crack a nut.


IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
Received on Tuesday, 29 May 2001 11:26:10 UTC

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