RDF-ISSUE-90 (LV-entailment): Define a simple form of ???literal value entailment??? [RDF Semantics] from RDF Working Group Issue Tracker on 2012-05-21 (public-rdf-wg@w3.org from May 2012)

From: RDF Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Mon, 21 May 2012 14:08:52 +0000
To: public-rdf-wg@w3.org
Message-Id: <E1SWTI4-0005Sm-8C@tibor.w3.org>

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?)

Received on Monday, 21 May 2012 14:09:15 UTC