W3C home > Mailing lists > Public > www-webont-wg@w3.org > February 2003

Re: RDF Semantics review: RDFS interpretations

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>
Message-id: <1045846144.486.374.camel@dirk.dm93.org>

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