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

Re: Datatyping Summary V2

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Wed, 30 Jan 2002 21:22:58 +0000
Message-Id: <5.1.0.14.2.20020130211921.038c9740@joy.songbird.com>
To: Brian McBride <bwm@hplb.hpl.hp.com>
Cc: RDF Core <w3c-rdfcore-wg@w3.org>
At 07:41 PM 1/30/02 +0000, Brian McBride wrote:
>Issue B3: the self entailment issue
>===================================
>
>Withdrawn in favour of B4:

I'm uncomfortable about withdrawing this.  Dan used a different example for 
self-entailment prior to the one he withdrew:

Does:
         <http://www.w3.org/> dc:title "W3C".
entail:
         <http://www.w3.org/> dc:title "W3C".

Intuitively, I think it is important that this is a valid entailment, and 
this hasn't been established yet for TDL.

>From:
>
>   http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Jan/0410.html
>
>   [[I accept the reasoning above; it doesn't address my objection;
>it' just shows that my example wasn't very good. Sergey's
>example makes the point better:]]

------------------------------------------------------------
Graham Klyne                    MIMEsweeper Group
Strategic Research              <http://www.mimesweeper.com>
<Graham.Klyne@MIMEsweeper.com>
        __
       /\ \
      /  \ \
     / /\ \ \
    / / /\ \ \
   / / /__\_\ \
  / / /________\
  \/___________/
Received on Wednesday, 30 January 2002 16:31:02 EST

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