Re: Issue #horst-01 RDFS entailment lemma

>At 11:57 10/04/2003 -0400, pat hayes wrote:
>>Herman, many thanks for your email and the careful checking you 
>>have done. Indeed I had not seen these inference paths. I am 
>>considering the possible options and will get back to you and the 
>>WG as soon as possible. Further comments below.
>>
>>Brian, can you give this an ID (even though the last call is over, 
>>this is a bug that must be fixed.)
>
>Sorry for the delay Pat.  I wanted to check with you at the last 
>telecon this was necessary.

Well, ironically, it probably isn't, now, since Ive fixed it. But it 
does no harm to have it recorded.

Pat

>
>The issue is recorded as:
>
>   http://www.w3.org/2001/sw/RDFCore/20030123-issues/#horst-01
>
>Brian


-- 
---------------------------------------------------------------------
IHMC					(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola              			(850)202 4440   fax
FL 32501           				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam

Received on Tuesday, 22 April 2003 12:12:17 UTC