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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:57 GMT