Re: reification test case

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 UTC