W3C home > Mailing lists > Public > public-rdf-wg@w3.org > August 2012

Re: RDF-ISSUE-90 (LV-entailment): Define a simple form of “literal value entailment” [RDF Semantics]

From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
Date: Tue, 14 Aug 2012 10:54:33 +0200
Message-ID: <502A1249.3020001@emse.fr>
To: public-rdf-wg@w3.org


Le 21/05/2012 16:08, RDF Working Group Issue Tracker a écrit :
> RDF-ISSUE-90 (LV-entailment): Define a simple form of “literal value entailment” [RDF Semantics]
>
> http://www.w3.org/2011/rdf-wg/track/issues/90
>
> Raised by: Richard Cyganiak
> On product: RDF Semantics
>
> Define a simple form of graph equivalence that is like graph isomorphism, but allows substitution of literals by equal-valued other lexical forms. This would help with test cases and the like. It could be defined as a form of entailment (LV-Entailment, a small extension to Simple Entailment) or as an extension to graph isomorphism.
>
> (Would the old RDF-Entailment then simply be LV-Entailment over a datatype map that contains only rdf:XMLLiteral?)


No because an rdf-interpretation also has:

"x is in IP if and only if <x, I(rdf:Property)> is in IEXT(I(rdf:type))"



-- 
Antoine Zimmermann
ISCOD / LSTI - Institut Henri Fayol
École Nationale Supérieure des Mines de Saint-Étienne
158 cours Fauriel
42023 Saint-Étienne Cedex 2
France
Tél:+33(0)4 77 42 66 03
Fax:+33(0)4 77 42 66 66
http://zimmer.aprilfoolsreview.com/
Received on Tuesday, 14 August 2012 08:54:58 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 22:02:06 UTC