- From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
- Date: Wed, 30 Jan 2002 21:22:58 +0000
- 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 UTC