ISSUE-97: Should the semantics of RDF graphs be dependent on a vocabulary?

interpretations-depends-on-V

Should the semantics of RDF graphs be dependent on a vocabulary?

State:
CLOSED
Product:
RDF Semantics
Raised by:
Antoine Zimmermann
Opened on:
2012-09-12
Description:
Currently, all notions of "interpretation" in RDF Semantics depend on a vocabulary V. An interpretation of a vocabulary V cannot interpret terms that are not in V. This leads to certain unexpected non-entailments, for instance:

{ :s :p "2"^^xsd:integer }

does not XSD-entail:

{ :s :p "+2"^^xsd:integer }

or, in RDFS semantics, the triple:

{ ex:s rdf:type rdfs:Resource }

is not true in all graphs.
Related Actions Items:
No related actions
Related emails:
  1. Re: reopen ISSUE-97 and reclose next week - should interpretations be relative to a vocabulary (from phayes@ihmc.us on 2013-03-07)
  2. Re: reopen ISSUE-97 and reclose next week - should interpretations be relative to a vocabulary (from pfpschneider@gmail.com on 2013-03-07)
  3. Re: reopen ISSUE-97 and reclose next week - should interpretations be relative to a vocabulary (from antoine.zimmermann@emse.fr on 2013-03-07)
  4. reopen ISSUE-97 and reclose next week - should interpretations be relative to a vocabulary (from pfpschneider@gmail.com on 2013-03-06)
  5. Re: RDF semantics draft revision (from phayes@ihmc.us on 2013-03-05)
  6. Re: RDF semantics draft revision (from antoine.zimmermann@emse.fr on 2013-03-05)
  7. Re: ISSUE-97: propose to close the issue by doing nothing (from ivan@w3.org on 2012-11-07)
  8. Re: ISSUE-97: propose to close the issue by doing nothing (from phayes@ihmc.us on 2012-11-06)
  9. ISSUE-97: propose to close the issue by doing nothing (from antoine.zimmermann@emse.fr on 2012-11-06)
  10. Re: RDF-ISSUE-97 (interpretations-depends-on-V): Should the semantics of RDF graphs be dependent on a vocabulary? [RDF Semantics] (from antoine.zimmermann@emse.fr on 2012-09-13)
  11. Re: RDF-ISSUE-97 (interpretations-depends-on-V): Should the semantics of RDF graphs be dependent on a vocabulary? [RDF Semantics] (from pfpschneider@gmail.com on 2012-09-12)
  12. RDF-ISSUE-97 (interpretations-depends-on-V): Should the semantics of RDF graphs be dependent on a vocabulary? [RDF Semantics] (from sysbot+tracker@w3.org on 2012-09-12)

Related notes:

Original submitter's concerns have been resolved:
http://lists.w3.org/Archives/Public/public-rdf-wg/2012Nov/0060.html

Richard Cyganiak, 6 Nov 2012, 19:10:34

Revised resolution:
13 March 2013

I propose that we reopen ISSUE-97 and resolve it differently at the
teleconference next week.

ISSUE-97 concerns whether

ex:john ex:age "22"^^xsd:integer
{xsd:integer}-entails
ex:john ex:age "+22"^^xsd:integer

or the empty graph RDFS-entails
ex:john rdf:type rdfs:Resource

In the 2004 version of RDF these entailments do *not* hold, the first
because there are {xsd:integer}-interpretations where "22"^^xsd:integer is
in the vocabulary but "+22"^^xsd:integer is not. I believe that all RDF
implementations do *not* work this way. Instead they take the very
reasonable idea that all interpretations involved in the reasoning must
interpret all the vocabulary in both the LHS and the RHS.

The semantics should be modified to make it clear that entailment should
work the way that everyone thinks it does. The current editor's draft of
the semantics changed interpretations so that they are no longer relative
to a vocabulary, but instead interpret all IRIs and all well-typed literals
(and no ill-typed literals). I believe that no changes are needed in any
other WG document, and that the change conforms to the universal
implementation of RDF. This change has the desired effect and should be
adopted by the working group.

http://lists.w3.org/Archives/Public/public-rdf-wg/2013Mar/0041.html

Guus Schreiber, 13 Mar 2013, 15:37:58

Display change log ATOM feed


Guus Schreiber <guus.schreiber@vu.nl>, Chair, Ivan Herman <ivan@w3.org>, Sandro Hawke <sandro@w3.org>, Staff Contacts
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 97.html,v 1.1 2014-07-09 12:18:04 carine Exp $