W3C home > Mailing lists > Public > www-rdf-interest@w3.org > August 2004

Re: A possible typo error in RDFS Semantics

From: <ecky@free.fr>
Date: Tue, 3 Aug 2004 10:26:34 +0200
Message-ID: <1091521594.410f4c3a1a091@imp5-q.free.fr>
To: Pat Hayes <phayes@ihmc.us>
Cc: Yuzhong Qu <yzqu@seu.edu.cn>, www-rdf-interest@w3.org, w3c-rdfcore-wg@w3.org

Zitat von Pat Hayes <phayes@ihmc.us>:

> >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.
>
Are you sure ? If rdf-entail is more general than rdfs-entail and both of them
represent some sort of implication, it is just the way like it is in the
document and not the other way round.

> 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
>
cheers
ecky
Received on Tuesday, 3 August 2004 04:37:50 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 5 February 2014 07:14:57 UTC