Re: some errors in the MT

>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 UTC