Re: Datatyping Summary V3

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