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.

The issue is recorded as:

   http://www.w3.org/2001/sw/RDFCore/20030123-issues/#horst-01

Brian