W3C home > Mailing lists > Public > public-rdf-star@w3.org > October 2020

Re: weakness of embedded triples

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Tue, 27 Oct 2020 15:01:32 -0400
To: public-rdf-star@w3.org
Message-ID: <b17f928c-cc25-007f-b338-72694f982f6e@gmail.com>
[Back to the original topic of this thread.]


I was looking at the semantics of RDF* and I think I have discovered further
weakness of embedded triples.  In the semantics for RDF* there is a special
mechanism to allow:

Mary believes << John loves _:a >>

to RDF*-entail

Mary believes << John loves _:b >>


But this mechanism is very weak.  As far as I can tell

Mary believes << John loves _:a >>

does not RDF*-entail

Mary believes << John loves _:c >>

Mary believes << John loves _:b >>


nor does


Mary believes << John loves Susan >>

RDF*-entail

Mary believes << John loves _:a >>


Both of these non-entailments seem to me to be significant problems with RDF*.


peter
Received on Tuesday, 27 October 2020 19:01:49 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 27 October 2020 19:01:51 UTC