ISSUE-148: CR comment: IRIs do *not* always denote the same resource

CR comment: IRIs do *not* always denote the same resource

State:
CLOSED
Product:
RDF Concepts
Raised by:
Guus Schreiber
Opened on:
2013-10-02
Description:
LC Comment by David Booth
http://lists.w3.org/Archives/Public/public-rdf-comments/2013Oct/0008.html

In https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-concepts/index.html
I see this statement:

"IRIs have global scope: Two different appearances of an IRI
denote the same resource."

This is wrong. If it were true then there could never be a URI Collision
http://www.w3.org/TR/webarch/#URI-collision
and there would be no point in the AWWW discussing it or admonishing
against it.

An IRI can and often does denote different resources in different
*interpretations*. And this, in practice, means that an IRI often
denotes different resources in different *graphs*, because any graph has
a set of satisfying interpretations, and different graphs may have
different sets of satisfying interpretations. For example, suppose
graphs g1 and g2 have sets of satisfying interpretations s1 and s2,
respectively, and those sets may be disjoint. Then colloquially (and
technically) we can say that an IRI may map to one resource in g1 (i.e.,
in some interpretation in s1) and a different resource in g2 (i.e., in
some interpretation in s2).

This requires thinking about graphs in terms of sets of satisfying
interpretations -- an important and valid perspective -- rather than
assuming that one looks at them only through the lens of a single
interpretation.

As a simple example of how a URI can denote different things in
different graphs, suppose Alice sends this graph G1 from her smart phone
to her home computer to turn *on* her porch light (assuming the usual
URI prefix definitions):

G1: { @prefix db: <http://dbooth.org/>
ex:alicePorchLight rdf:value db:x .
db:x owl:sameAs ex:on .
ex:on owl:differentFrom ex:off . }

and her light turns on.

In contrast, Bob sends this graph G2 from his smart phone to his home
computer to turn *off* his oven:

G2: { ex:bobOven rdf:value db:x .
db:x owl:sameAs ex:off .
ex:on owl:differentFrom ex:off . }

and his oven turns off.

It is perfectly reasonable and natural to ask "What resource does db:x
denote in G1?", and it is reasonable and natural to ask the same of G2.
The RDF Semantics (along with OWL) tells us that in G1 db:x denotes
whatever ex:on denotes, whereas in G2 db:x denotes whatever ex:off
denotes. That is useful! Furthermore, the semantics tells us that if
we merge those graphs then we have a contradiction -- there are no
satisfying interpretations for the merge -- and that is useful to know
also, because it means that Alice and Bob's graphs **cannot be used
together**.

Furthermore, the RDF Semantics notion of an interpretation maps well to
real life applications: in effect, an application chooses a particular
interpretation when it processes RDF data. This is a very useful aspect
of the model theoretic style of the semantics. In this example, Alice's
home control app interpreted db:x to denote "on" and Bob's home control
app interpreted it to denote "off". And *both* were correct (in
isolation): they both did The Right Thing.

In short, I think the above statement needs to be qualified somehow,
such as:

"IRIs are *intended* to have global scope: Two different
appearances of an IRI are *intended* to denote the same resource."
(However, the RDF Semantics explains how an IRI may denote
different resources in different interpretations.)

David
Related Actions Items:
No related actions
Related emails:
  1. Re: ISSUE-148: IRIs do *not* always denote the same resource (from david@3roundstones.com on 2014-01-08)
  2. Re: ISSUE-148: IRIs do *not* always denote the same resource (from david@dbooth.org on 2013-12-22)
  3. Re: Fwd: Re: ISSUE-148: IRIs do *not* always denote the same resource (from guus.schreiber@vu.nl on 2013-12-22)
  4. Re: ISSUE-148: IRIs do *not* always denote the same resource (from guus.schreiber@vu.nl on 2013-12-22)
  5. Re: ISSUE-148: IRIs do *not* always denote the same resource (from eric@w3.org on 2013-12-20)
  6. Re: ISSUE-148: IRIs do *not* always denote the same resource (from richard@cyganiak.de on 2013-12-19)
  7. Re: ISSUE-148: IRIs do *not* always denote the same resource (from kidehen@openlinksw.com on 2013-12-19)
  8. Fwd: Re: ISSUE-148: IRIs do *not* always denote the same resource (from guus.schreiber@vu.nl on 2013-12-19)
  9. Re: ISSUE-148: IRIs do *not* always denote the same resource (from guus.schreiber@vu.nl on 2013-12-19)
  10. Re: ISSUE-148: IRIs do *not* always denote the same resource (from david@dbooth.org on 2013-12-19)
  11. Re: ISSUE-148: IRIs do *not* always denote the same resource (from kidehen@openlinksw.com on 2013-12-19)
  12. Re: ISSUE-148: IRIs do *not* always denote the same resource (from guus.schreiber@vu.nl on 2013-12-19)
  13. Re: ISSUE-148: IRIs do *not* always denote the same resource (from david@dbooth.org on 2013-12-18)
  14. Re: Proposed resolution needed: ISSUE-148: IRIs do *not* always denote the same resource (from kidehen@openlinksw.com on 2013-12-18)
  15. Re: Proposed resolution needed: ISSUE-148: IRIs do *not* always denote the same resource (from guus.schreiber@vu.nl on 2013-12-18)
  16. Re: Proposed resolution needed: ISSUE-148: IRIs do *not* always denote the same resource (from guus.schreiber@vu.nl on 2013-12-18)
  17. Re: Proposed resolution needed: ISSUE-148: IRIs do *not* always denote the same resource (from phayes@ihmc.us on 2013-12-17)
  18. Re: Proposed resolution needed: ISSUE-148: IRIs do *not* always denote the same resource (from phayes@ihmc.us on 2013-12-17)
  19. Re: Proposed resolution needed: ISSUE-148: IRIs do *not* always denote the same resource (from kidehen@openlinksw.com on 2013-12-17)
  20. Re: Proposed resolution needed: ISSUE-148: IRIs do *not* always denote the same resource (from richard@cyganiak.de on 2013-12-17)
  21. Re: Proposed resolution needed: ISSUE-148: IRIs do *not* always denote the same resource (from kidehen@openlinksw.com on 2013-12-17)
  22. Re: Proposed resolution needed: ISSUE-148: IRIs do *not* always denote the same resource (from guus.schreiber@vu.nl on 2013-12-17)
  23. RE: Proposed resolution needed: ISSUE-148: IRIs do *not* always denote the same resource (from markus.lanthaler@gmx.net on 2013-12-17)
  24. Re: Proposed resolution needed: ISSUE-148: IRIs do *not* always denote the same resource (from kidehen@openlinksw.com on 2013-12-17)
  25. RE: Proposed resolution needed: ISSUE-148: IRIs do *not* always denote the same resource (from markus.lanthaler@gmx.net on 2013-12-17)
  26. Re: Concepts (almost) ready (from phayes@ihmc.us on 2013-12-16)
  27. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from kidehen@openlinksw.com on 2013-12-16)
  28. Re: Proposed resolution needed: ISSUE-148: IRIs do *not* always denote the same resource (from david@3roundstones.com on 2013-12-16)
  29. Proposed resolution needed: ISSUE-148: IRIs do *not* always denote the same resource (from guus.schreiber@vu.nl on 2013-12-16)
  30. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from richard@cyganiak.de on 2013-12-16)
  31. Fwd: Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from david@dbooth.org on 2013-12-16)
  32. RE: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from david@dbooth.org on 2013-12-16)
  33. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from richard@cyganiak.de on 2013-12-16)
  34. Concepts (almost) ready (from markus.lanthaler@gmx.net on 2013-12-16)
  35. RE: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from markus.lanthaler@gmx.net on 2013-12-16)
  36. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from david@3roundstones.com on 2013-12-16)
  37. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from ansell.peter@gmail.com on 2013-12-16)
  38. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from david@dbooth.org on 2013-12-15)
  39. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from david@dbooth.org on 2013-12-15)
  40. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from phayes@ihmc.us on 2013-12-15)
  41. RE: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from markus.lanthaler@gmx.net on 2013-12-15)
  42. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from david@dbooth.org on 2013-12-14)
  43. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from phayes@ihmc.us on 2013-12-14)
  44. RE: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from markus.lanthaler@gmx.net on 2013-12-14)
  45. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from danbri@google.com on 2013-12-14)
  46. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from david@dbooth.org on 2013-12-14)
  47. RE: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from markus.lanthaler@gmx.net on 2013-12-14)
  48. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from phayes@ihmc.us on 2013-12-14)
  49. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from richard@cyganiak.de on 2013-12-14)
  50. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from david@dbooth.org on 2013-12-13)
  51. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from david@dbooth.org on 2013-12-13)
  52. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from richard@cyganiak.de on 2013-12-13)
  53. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from david@dbooth.org on 2013-12-13)
  54. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from david@dbooth.org on 2013-12-13)
  55. Re: A comment on issue-148 (from david@dbooth.org on 2013-12-13)
  56. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from guus.schreiber@vu.nl on 2013-12-05)
  57. Re: A comment on issue-148 (from antoine.zimmermann@emse.fr on 2013-10-25)
  58. A comment on issue-148 (from phayes@ihmc.us on 2013-10-24)
  59. Re: Your comments on RDFConcepts & Semantics (ISSUE-145, ISSUE-147, ISSUE-148, ISSUE-159) (from phayes@ihmc.us on 2013-10-24)
  60. Re: Your comments on RDFConcepts & Semantics (ISSUE-145, ISSUE-147, ISSUE-148, ISSUE-159) (from phayes@ihmc.us on 2013-10-22)
  61. Re: Your comments on RDFConcepts & Semantics (ISSUE-145, ISSUE-147, ISSUE-148, ISSUE-159) (from david@dbooth.org on 2013-10-21)
  62. Re: Your comments on RDFConcepts & Semantics (ISSUE-145, ISSUE-147, ISSUE-148, ISSUE-159) (from guus.schreiber@vu.nl on 2013-10-21)
  63. Fwd: Re: Your comments on RDFConcepts & Semantics (ISSUE-145, ISSUE-147, ISSUE-148, ISSUE-159) (from guus.schreiber@vu.nl on 2013-10-21)
  64. Re: Your comments on RDFConcepts & Semantics (ISSUE-145, ISSUE-147, ISSUE-148, ISSUE-159) (from david@dbooth.org on 2013-10-21)
  65. Fwd: Your comments on RDFConcepts & Semantics (ISSUE-145, ISSUE-147, ISSUE-148, ISSUE-159) (from guus.schreiber@vu.nl on 2013-10-16)
  66. Your comments on RDFConcepts & Semantics (ISSUE-145, ISSUE-147, ISSUE-148, ISSUE-159) (from guus.schreiber@vu.nl on 2013-10-16)
  67. Re: RDF-ISSUE-148: LC Comment: IRIs do *not* always denote the same resource [RDF Concepts] (from guus.schreiber@vu.nl on 2013-10-06)
  68. Re: ISSUE-148: RDF Concepts - IRIs do *not* always denote the same resource (from guus.schreiber@vu.nl on 2013-10-06)
  69. Re: RDF-ISSUE-148: LC Comment: IRIs do *not* always denote the same resource [RDF Concepts] (from pfpschneider@gmail.com on 2013-10-06)
  70. Re: RDF-ISSUE-148: LC Comment: IRIs do *not* always denote the same resource [RDF Concepts] (from guus.schreiber@vu.nl on 2013-10-06)
  71. Re: RDF-ISSUE-148: LC Comment: IRIs do *not* always denote the same resource [RDF Concepts] (from pfpschneider@gmail.com on 2013-10-04)
  72. Re: RDF-ISSUE-148: LC Comment: IRIs do *not* always denote the same resource [RDF Concepts] (from eric@w3.org on 2013-10-04)
  73. Re: RDF-ISSUE-148: LC Comment: IRIs do *not* always denote the same resource [RDF Concepts] (from phayes@ihmc.us on 2013-10-03)
  74. Re: RDF-ISSUE-148: LC Comment: IRIs do *not* always denote the same resource [RDF Concepts] (from pfpschneider@gmail.com on 2013-10-03)
  75. Re: RDF-ISSUE-148: LC Comment: IRIs do *not* always denote the same resource [RDF Concepts] (from phayes@ihmc.us on 2013-10-03)
  76. Re: RDF Concepts - IRIs do *not* always denote the same resource (ISSUE-148) (from guus.schreiber@vu.nl on 2013-10-02)
  77. RDF-ISSUE-148: LC Comment: IRIs do *not* always denote the same resource [RDF Concepts] (from sysbot+tracker@w3.org on 2013-10-02)

Related notes:

Consider ISSUE-148 non-blocking for CR -- we can publish while leaving it open to handle later, as it is editorial and the commenter agrees with this plan

See: https://www.w3.org/2013/meeting/rdf-wg/2013-10-23#resolution_5

Guus Schreiber, 23 Oct 2013, 16:28:09

Official response: http://lists.w3.org/Archives/Public/public-rdf-comments/2013Oct/0029.html

Ping: http://lists.w3.org/Archives/Public/public-rdf-comments/2013Dec/0012.html

Markus Lanthaler, 11 Dec 2013, 18:20:45

Resolved at the 18 Dec 2013 telecon:
https://www.w3.org/2013/meeting/rdf-wg/2013-12-18#resolution_8

Resolve ISSUE-148 by changing the "IRIs have global scope" bullet point in section 1.3 in Concepts to "By design, IRIs have global scope. Thus, two different appearances of an IRI denote the same resource. Violating this principle constitutes an IRI collision [WEBARCH]." http://www.w3.org/TR/webarch/#URI-collision

Guus Schreiber, 18 Dec 2013, 21:33:41

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: 148.html,v 1.1 2014-07-09 12:17:57 carine Exp $