- From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
 - Date: Fri, 01 Feb 2002 12:06:32 +0000
 - To: Brian McBride <bwm@hplb.hpl.hp.com>
 - Cc: RDF Core <w3c-rdfcore-wg@w3.org>
 
At 05:53 PM 1/31/02 +0000, Brian McBride wrote:
>Issue B9: In TDL a document does not entail itself
>==================================================
>
>Under TDL, does:
>
>   <foo> <dc:Title> "W3C" .
>
>entail
>
>   <foo> <dc:Title> "W3C" .
>
>This was recognized as a bug in the TDL model theory.
>
>Can't Live with:  DanC, JJC, GK
>
>Jeremy has proposed a model theory fix:
>
>   http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Jan/0464.html
>
>GK, DanC, PatH: do you accept the fix and a document does entail itself 
>under TDL?
I accept the fix (according to my current understanding).
#g
--
------------------------------------------------------------
Graham Klyne                    MIMEsweeper Group
Strategic Research              <http://www.mimesweeper.com>
<Graham.Klyne@MIMEsweeper.com>
        __
       /\ \
      /  \ \
     / /\ \ \
    / / /\ \ \
   / / /__\_\ \
  / / /________\
  \/___________/
Received on Friday, 1 February 2002 07:37:08 UTC