- From: Dan Connolly <connolly@w3.org>
- Date: Fri, 21 Feb 2003 10:49:05 -0600
- To: herman.ter.horst@philips.com
- Cc: www-webont-wg@w3.org, Pat Hayes <phayes@ai.uwf.edu>
On Fri, 2003-02-21 at 10:34, herman.ter.horst@philips.com wrote: > > On Thu, 2003-02-13 at 05:03, herman.ter.horst@philips.com wrote: [...] > > Thank you for this explanation. > I have used this explanation to formulate an entailment test > for another point that I raised about the RDF Semantics > document [1]. Very nice, thanks. > The issue above deals with the mathematical correctness of > the statement of a certain condition in de RDFS semantics, > and I still feel that this seems to be beyond entailment tests. Hmm... ok. > I have tried to make the point clearer in my mail to > rdf-comments [2]. > > Herman ter Horst > > [1] http://lists.w3.org/Archives/Public/www-rdf-comments/2003JanMar/0354.html > [2] http://lists.w3.org/Archives/Public/www-rdf-comments/2003JanMar/0350.html -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 21 February 2003 11:49:07 UTC