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

RE: N3 contexts vs RDF reification

From: Danny Ayers <danny@panlanka.net>
Date: Thu, 3 May 2001 19:30:13 +0600
To: "RDF-Interest" <www-rdf-interest@w3.org>
Message-ID: <EBEPLGMHCDOJJJPCFHEFIEKEDEAA.danny@panlanka.net>

<- From: "pat hayes" <phayes@ai.uwf.edu>
<- > [...] For a
<- > second-order language you need a universe which has things and also
<- > has relations in it (not just defined on it, but actually contained
<- > in it.) [...]
<-
<- I think the term "2nd order" is used in this sense in the RDF M&S spec.
<- Maybe the authors should comment on whether they meant to use
<- the technical
<- meaning of "2nd order" or whether they were using the tern loosely.
<-
<- - Arnold

I can't actually find any reference to 2nd order, but in the bit about
reification RDFMS says :

"4. Statements about Statements
In addition to making statements about Web resources, RDF can be used for
making statements about other RDF statements; we will refer to these as
higher-order statements."


Correct me if I'm wrong (Pat?), but reification turns a function/predicate
into an object. You don't actually need to do any quantification of the
function(s), so this can be done in 1st order logic. I would take this as
meaning the authors were using 'higher order' loosely.
Received on Thursday, 3 May 2001 09:34:51 GMT

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