W3C home > Mailing lists > Public > www-rdf-logic@w3.org > January 2007

weird example in RDF-MT document...

From: Axel Polleres <axel.polleres@urjc.es>
Date: Thu, 25 Jan 2007 21:32:13 +0100
Message-ID: <45B913CD.10301@urjc.es>
To: www-rdf-logic@w3.org

Hi all,

I was studying the RDF semantics document once again in some detail and 
it looked to me I found a bug in an example in the end of section 3.3.1.
Since I doubt that, I was asking myself whether somebody here can help 
me to get the knot out of my head....


    http://www.w3.org/TR/rdf-mt/#Reif



In the end of that section, it is stated that

"For example,

_:xxx rdf:type rdf:Statement .
_:xxx rdf:subject <ex:subject> .
_:xxx rdf:predicate <ex:predicate> .
_:xxx rdf:object <ex:object> .
_:yyy rdf:type rdf:Statement .
_:yyy rdf:subject <ex:subject> .
_:yyy rdf:predicate <ex:predicate> .
_:yyy rdf:object <ex:object> .
_:xxx <ex:property> <ex:foo> .

does not entail

_:yyy <ex:property> <ex:foo> ."


  This is at the very least strange for me...  and I think simply wrong.

I mean, I understand what is *meant* to be said here, but of course
the single triple graph

_:yyy <ex:property> <ex:foo> .

IS entailed by the former.

Can anybody shed light on me? I must admit that I have some difficulties 
to understand the non-normative reificaiton proposed in that section, 
but I would assume that simple entailments still hold.

I would be grateful if anybody can shed light on me or tell me whether 
this was already answered elsewhere?

Thanks,
axel





-- 
Dr. Axel Polleres
email: axel@polleres.net  url: http://www.polleres.net/
Received on Thursday, 25 January 2007 20:41:21 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:47 UTC