Re: Reification: proposed resolution

for a stating, I could live with

   <stmt1> <rdf:type> <rdf:Statement> .
   <stmt1> <rdf:subject> _:a1 .
   _:a1 <log:quote> <subject> .
   <stmt1> <rdf:predicate> <predicate> .
   <stmt1> <rdf:object> _:b1 .
   _:b1 <log:quote> <object> .

   <stmt2> <rdf:type> <rdf:Statement> .
   <stmt2> <rdf:subject> _:a2 .
   _:a2 <log:quote> <subject> .
   <stmt2> <rdf:predicate> <predicate> .
   <stmt2> <rdf:object> _:b2 .
   _:b2 <log:quote> <object> .

   <stmt1> <property> <foo> .

 does *not* entail:

   <stmt2> <property> <foo> .

maybe <fru>st<r>ating, isn't it?

--
Jos

Received on Tuesday, 12 February 2002 16:37:51 UTC