- From: Pat Hayes <phayes@ai.uwf.edu>
- Date: Mon, 4 Feb 2002 18:59:32 -0600
- To: Dan Connolly <connolly@w3.org>
- Cc: w3c-rdfcore-wg@w3.org
>On Mon, 2002-02-04 at 07:12, Jeremy Carroll wrote: >> My vote: no. > >I vote yes. > >This is what "triple" means, after all, no? >if x=xx, y=yy, z=zz, then (x,y,z)=(xx,yy,zz), no? > Speaking as a pure mathematician, yes. But then I wouldn't try to send those Platonic triples along wires or record their provenances, or indeed ever say anything about them except pure-math kinds of thing. Speaking as a computer person, no; a triple is a data structure, and I might have many (isomorphic, but) distinct versions of the same triple structure. In LISP I can make two lists with the very same members (eq-same) but they are still two different lists. Speaking as a linguist, it depends what you mean. If you are talking about triple tokens, then no; if about triple types, then yes. And the M&S notoriously didnt make up its mind which it meant. >| There is a set called Statements, each element of which is a >| triple of the form >| >| {pred, sub, obj} > -- http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/#model > >If we're not going to take the implications of reification >seriously, let's just throw it out. The issue is what those implications are, not whether or not to take them seriously. Pat > >> > -----Original Message----- >> > Does >> > > <stmt1> <rdf:type> <rdf:Statement> . >> > > <stmt1> <rdf:subject> <subject> . >> > > <stmt1> <rdf:predicate> <predicate> . >> > > <stmt1> <rdf:object> <object> . >> > > >> > > <stmt2> <rdf:type> <rdf:Statement> . >> > > <stmt2> <rdf:subject> <subject> . >> > > <stmt2> <rdf:predicate> <predicate> . >> > > <stmt2> <rdf:object> <object> . >> > > >> > > <stmt1> <property> <foo> . >> > > >> > > entail: >> > > >> > > <stmt2> <property> <foo> . >> > >> > >> > Brian > >-- >Dan Connolly, W3C http://www.w3.org/People/Connolly/ -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Monday, 4 February 2002 19:59:01 UTC