ISSUE-90: Define a simple form of “literal value entailment”

LV-entailment

Define a simple form of “literal value entailment”

State:

CLOSED

Product:

RDF Semantics

Raised by:

Richard Cyganiak

Opened on:

2012-05-21

Description:

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

Related Actions Items:

No related actions

Related emails:

1. Re: RDF-ISSUE-90 (LV-entailment): Define a simple form of “literal value entailment” [RDF Semantics] (from richard@cyganiak.de on 2012-08-22)
2. Re: RDF-ISSUE-90 (LV-entailment): Define a simple form of “literal value entailment” [RDF Semantics] (from antoine.zimmermann@emse.fr on 2012-08-20)
3. Re: RDF-ISSUE-90 (LV-entailment): Define a simple form of “literal value entailment” [RDF Semantics] (from phayes@ihmc.us on 2012-08-14)
4. Re: RDF-ISSUE-90 (LV-entailment): Define a simple form of “literal value entailment” [RDF Semantics] (from antoine.zimmermann@emse.fr on 2012-08-14)
5. Re: RDF-ISSUE-90 (LV-entailment): Define a simple form of “literal value entailment” [RDF Semantics] (from antoine.zimmermann@emse.fr on 2012-08-14)
6. Re: RDF-ISSUE-90 (LV-entailment): Define a simple form of “literal value entailment” [RDF Semantics] (from antoine.zimmermann@emse.fr on 2012-08-14)
7. Re: Publish RDF Concepts as revised WD? (was: Re: Agenda 16 May telecon) (from richard@cyganiak.de on 2012-05-21)
8. RDF-ISSUE-90 (LV-entailment): Define a simple form of “literal value entailment” [RDF Semantics] (from sysbot+tracker@w3.org on 2012-05-21)

Related notes:

Display change log