- From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
- Date: Tue, 14 Aug 2012 10:54:33 +0200
- 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