W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > February 2002

Re: summary of reification?

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Thu, 07 Feb 2002 10:16:53 +0000
Message-Id: <5.1.0.14.2.20020207101258.038b7bd0@joy.songbird.com>
To: Pat Hayes <phayes@ai.uwf.edu>
Cc: Brian McBride <bwm@hplb.hpl.hp.com>, w3c-rdfcore-wg@w3.org
At 06:09 PM 2/6/02 -0600, Pat Hayes wrote:
>OK. But let me ask: suppose there were two groups, and one said it was a 
>statement and the other said it was a stating. Are there any entailment 
>tests (or some other kind of behavioral test??) where they would disagree 
>about what the right answer was?

Yes, I think, Brian said it (based on a question by DanBri)...

   http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0038.html

I.e.

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> .

?

Because, I think, if the entailment follows then <stmt1> and <stmt2> cannot 
denote something that is distinguishable in terms of what can be said about 
it using RDF.

#g


------------------------------------------------------------
Graham Klyne                    MIMEsweeper Group
Strategic Research              <http://www.mimesweeper.com>
<Graham.Klyne@MIMEsweeper.com>
Received on Thursday, 7 February 2002 05:49:49 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:45:06 EDT