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 rdfs-interpretation is an 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?



Yuzhong Qu

Received on Monday, 2 August 2004 07:56:35 UTC