W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > September 2001

Re: some errors in the MT

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Thu, 27 Sep 2001 14:43:08 -0500
Message-Id: <p05101001b7d93196d5df@[205.160.76.184]>
To: jos.deroo.jd@belgium.agfa.com
Cc: w3c-rdfcore-wg@w3.org
>Pat,
>
>>  There are some serious bugs in the RDFS closure table in section 6 of
>>  the MT WP. See a recent message from Peter Patel-Schneider and my
>>  reply, on rdf-logic
>>  http://lists.w3.org/Archives/Public/www-rdf-logic/2001Sep/0033.html.
>>    I will try to get the bugs out and produce a revision as soon as
>>  possible (couple of days).
>
>yes, we also tried to do some testing
>and for the moment we have the following triples
>(which are true in any RDFS interpretation)
>
>====
>rdfs:Resource a rdfs:Class .

Sorry about your fever, but what is 'a' here??

Pat
-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
Received on Thursday, 27 September 2001 15:43:17 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:39:51 EDT