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

Re: reification test case

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Mon, 04 Feb 2002 10:30:34 +0000
Message-Id: <5.1.0.14.2.20020204102718.00a11010@joy.songbird.com>
To: jos.deroo.jd@belgium.agfa.com
Cc: brian_mcbride@hp.com, w3c-rdfcore-wg@w3.org
At 11:47 PM 2/3/02 +0100, jos.deroo.jd@belgium.agfa.com wrote:
> > We have to decide on Dan Brickley's equality test.  Does

As Jos points out, I think the test case as stated does not isolate the 
issue I think DanBri is trying to get at.  I think this would be closer:

Does:

   ex:s1 <rdf:type>      <rdf:Statement> .
   ex:s1 <rdf:subject>   <subject> .
   ex:s1 <rdf:predicate> <predicate> .
   ex:s1 <rdf:object>    <object> .

   _:s2 <rdf:type>      <rdf:Statement> .
   _:s2 <rdf:subject>   <subject> .
   _:s2 <rdf:predicate> <predicate> .
   _:s2 <rdf:object>    <object> .
   _:s2 <property>      <SomePropertyValue> .

entail:

   ex:s1 <property>     <SomePropertyValue> .

?



------------------------------------------------------------
Graham Klyne                    MIMEsweeper Group
Strategic Research              <http://www.mimesweeper.com>
<Graham.Klyne@MIMEsweeper.com>
        __
       /\ \
      /  \ \
     / /\ \ \
    / / /\ \ \
   / / /__\_\ \
  / / /________\
  \/___________/
Received on Monday, 4 February 2002 05:35:59 EST

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