Re: reification test case

My intuition about this that the answer is no, it does not entail.

#g
--

At 10:30 AM 2/4/02 +0000, Graham Klyne wrote:
>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 06:00:38 UTC