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 11:00:43 +0000
Message-Id: <5.1.0.14.2.20020204105821.0392ab30@joy.songbird.com>
To: w3c-rdfcore-wg@w3.org
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 EST

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