Re: A possible typo error in RDFS Semantics

>Hi, All
>
>At the begining of the second paragraph in section 4.4 RDFS 
>Entailment , it says
>  "Since every 
><http://www.w3.org/TR/rdf-mt/#rdfsinterpdef>rdfs-interpretation is 
>an <http://www.w3.org/TR/rdf-mt/#rdfinterpdef>rdf-interpretation, if 
>S **rdfs-entails** E then it **rdf-entails** E;".
>
>Maybe, it should be changed to:
>
>..., if S rdf-entail E then it rdfs-entails E;...
>
>Is it correct?
>

Yes, you are correct. That is how it should read, and it is an 
elementary transposition error.  My apologies. Nobody noticed it 
until now, Im afraid, in spite of the many extended readings and 
checks that this document received. I will correct this at the first 
opportunity for making a correction.

Pat Hayes

>
>
>Yuzhong Qu
>
>


-- 
---------------------------------------------------------------------
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@ihmc.us       http://www.ihmc.us/users/phayes

Received on Monday, 2 August 2004 20:48:16 UTC