RE: A possible typo error in RDFS Semantics

The proposed change is correct; if you read carefully the paragraph you
could notice a contradiction:

Since every rdfs-interpretation is an rdf-interpretation, if S rdfs-entails
E then it rdf-entails E; but rdfs-entailment is stronger than
rdf-entailment. ****Even the empty graph has a large number of
rdfs-entailments which are not rdf-entailments,****

As you can see the same document states that some rdfs-entailments are not
rdf-entailments; i.e : S rdfs-entails E => S rdf-entails E doesn't hold.

Manu.


-----Original Message-----
From: www-rdf-interest-request@w3.org
[mailto:www-rdf-interest-request@w3.org] On Behalf Of ecky@free.fr
Sent: Tuesday, August 03, 2004 4:27 AM
To: Pat Hayes
Cc: Yuzhong Qu; www-rdf-interest@w3.org; w3c-rdfcore-wg@w3.org
Subject: Re: A possible typo error in RDFS Semantics


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 17:34:55 UTC