W3C home > Mailing lists > Public > www-rdf-comments@w3.org > October to December 2003

Re: proposal to close comments from semantics review

From: <herman.ter.horst@philips.com>
Date: Wed, 12 Nov 2003 15:09:13 +0100
To: Brian McBride <bwm@hplb.hpl.hp.com>
Cc: Pat Hayes <phayes@ihmc.us>, www-rdf-comments <www-rdf-comments@w3.org>
Message-ID: <OF0C88A8C2.5FC5D663-ONC1256DDC.002DDBC6-C1256DDC.004DD046@diamond.philips.com>


See my comments below for each message that you mention.

>First of all thank you for the effort and exemplary attention to detail 
>you have put into the review of the RDFCore semantics and other 
>In the course of your review you have made a number of comments, 


There is one point about which I have just sent a new message.

However, Pat sent a second reply
indicating that he did an uniformization operation on all entailment rules 

tables.  This is a textually large change on a very important part of 
the text.
It might be wise if other people look at it as well.

The reply made by Pat to fix the proof of the rdfs entailment lemma
helps a lot, but there remains a point about which I have just sent
a new message.

This can be viewed as being earlier in the same line as 102, so see my 
previous comment.

>to which Pat has variously responded and updated the semantics document 
>as in the current editors WD:
>Can you reply to this message please, copy www-rdf-comments@w3.org, to 
>confirm that your comments have been satisfactorily addressed.

Received on Wednesday, 12 November 2003 09:10:01 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:04 UTC