<?xml version='1.0'?>
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">

<head>
        <title>Summary of IRW workshop</title>
        <link href="xrd.css" type="text/css" rel="stylesheet"/>
        <meta name="DC.title" content="Summary or IRW workshop" />
        <meta name="DC.creator" content="Harry Halpin" />
	<meta name="DC.language" content="en" />
	<meta name="DC.subject" content="identity meaning reference WWW2006 semantic web philosophy" />
	<meta name="DC.date" scheme="DCTERMS.W3CDTF" content="2006-06-16" />
	<meta name="DC.type" scheme="DCTERMS.DCMIType" content="Text" />
	<meta name="DC.format" content="text/html" />
</head>

<body>
<div id="intro">
<h1>Summary of IRW Workshop</h1>

<p>
The workshop on <b>Identity, Reference, and the Web</b> (IRW2006) was filled to the brim with members of the Web community eager to get to the heart of questions that had been previously considered too theoretical or philosophical for reasonable progress.  All the papers, presentations, and podcasts are archived on the web-page <a href="http://www.ibiblio.org/hhalpin">http://www.ibiblio.org/hhalpin</a>. Unlike many list-serv discussions on these topics, the mood was conciliatory and practical.
</p>
</div>
<div id="presentations"> 
<h2>Presentations</h2>: 

<p>
<b><a href="Harry Halpin</b> of Edinburgh University gave a brief overview of the problems within the scope of "Identity, Reference, Meaning, and the Web." Berners-Lee's "every thing must have a URI" slogan, where meaning is dictated by its owner of the URI, was shown to have a historical parallel in Russell and Kripke. This <b>causal theory of names</b> had meaning determined by direct reference through acquaintance and causal chains. In contrast, Frege posited the notion of "sense," as formalized by an <b>interpretation</b> in logic, where the meaning of a whole statement determined reference, and so reference was usually left underdetermined. Lewis's notion of <b>convention</b> was used to explain the rise of tagging, "since  people will in general use the minimum amount of convention to solve their co-ordination problem." Members of the audience seemed most interested in how tagging could lead to bottom-up ontologies, and the take-home point was that all viewpoints in the current debate had a lineage in philosophy going back more than a century.</p> 

<p>
<b>Dan Connolly</b> of the W3C followed with an example-driven approach to explaining the W3C TAG's resolution of <b>httpRange-14</b>. First, he points out that Berners-Lee's original viewpoint was that any URI not containing a "hash" should be taken to about a document and URIs with hashes were therefore safe to use with the Semantic Web. Since this principle would apply to <code>HTTP POST</code> the word <b>document</b> was replaced with the more general <b>information resource.</b> Finally, in order to use metadata vocabularies like DCMI, the hash requirement was dropped so that anything returning an <code>2xx HTTP</code> code was an information resource, while anything returning a <code>303</codfe> or a <code>4xx</code> could be used as a <b>non-information resource</b> identifier. So using a URI to denote a person that returned a 2xx code (such as web-page) was in violation of this rule. Since HTTP redirects are expensive to set-up, <i>the recommendation is simply to use hash URIs</i>. Since this could conflict with using a hash to identify document fragments, Dan recommended that such authors be allowed to "opt out" using hashes as document fragments in future versions of HTML using a "profile" attribute. This audience agreed this line of argument made much more clear the TAG's reasoning, although there was one concern there was no explicit was to identify resources beyond information resources, to which Dan reminded the audience that the TAG's role was to clarify consensus in Web architecture and not to prescribe solutions prematurely.</p>
<p>
<b>Valentina Presutti</b> of the University of Bologna explained an ontology, the <b>IRIE formalism</b>,  that distinguished the  many possible types of resources beyond just "information resources." By segregating URIs by type such as people and web-pages, one makes much more clear Semantic Web statements that are easier for machines to process. If a URI for Aldo Gangemi is used both as  web-page and a person then non-sensical statements such as "Aldo Gangemi is a male and non-well formed HTML" could result. Some of the main distinguishing types of resources were  resources as a <b>concept</b> in <b>virtual space</b>, a <b>computational</b> object in <b>physical space</b>, and a <b>proxy</b> for something else. These patterns were then formally defined and based on the DOLCE upper ontology. There was widespread agreement that such a fine-grained analysis of the types of resources could be useful, and that only the category "Semantic Resource" was considered controversial. Dan Connolly noted that <code>proxy-for</code> was like <code>foaf:topic</code> and <code>exact-proxy-for</code> was like <code>foaf:primaryTopic</code>, showing that this design pattern as already in implicit use in Semantic Web vocabularies. 
</p>
<p>
<b>David Booth</b> of Hewlett-Packard stated that <i>URI identity is a myth</i>, for what matters about a URI is what you can do with it. The obvious action with URIs that one can deference them to obtain authoritative, if partial, descriptive information. Since <i>all descriptive information is inherently partial</i> by nature, what matters is that the partial information be sufficient to identify the resource for a given application. Yet on the Web-scale, one loses the network effect unless one could provide information sufficient for identification for everybody. In an algorithm given, this <b>follow your nose</b> principle could use the TAG's resolution in order to follow 303s until partial information is given. However, even with this useful application the critical problem "information resources" is that they can not be precisely and unambiguously identified according to objective criteria. This problem is exemplified by a hypothetical URI that identified the combination of a human and their web-page. He brought up the question about whether or not a URI could be precisely identified with a particular information resource, since two differing URIs may return the same representations. He then proposed that an information resource be redefined as <i>only a URI-named network source of representations.</i> The audience was in agreement with Booth on the usefulness of partial information and the difficulty in guaranteeing sufficient partial information.</p> 
<p>
<b>Allen Ginsberg</b> of MITRE brought up the informative example of "Is Pluto a planet?" Since multiple ontologies may both account for all evidence in their system of belief and can even be resilient to future evidence, ontologies are likely to enter irreconcilable conflict. This is because the non-linguistic world is not fully ontologically determinate, such that linguistic entities correspond with entities in the world in order to obtain analytic truth (<b>the correspodence version of truth</b>). The alternative is the holistic view of truth that posits that the meaning of language to be determined by its use and that language and belief structure the world we describe. Therefore, the world is <b>ontologically indeterminate</b> and open to differing terms like URIs having differing meanings, but as it stands the current Semantic Web forces us, when using a URI, to accept all beliefs about a URI. This becomes a real problem if a URI for Pluto forcing our reasoner to use the "fact" that Pluto is a planet even if our ontology wishes to not make a claim on this contentious fact. Should we be forced to use a URI that claims Pluto is not a planet, or mint a new URI, thus diminishing the network effect? Ginsberg explained the <b>R-URI solution</b> that would force the user to explicate exactly what ontologies <b>fully or partially explicated</b> the situation. The audience found the Pluto example extremely thought-provoking and a definite problem for current Semantic Web architecture, yet did not seem to believe the R-URI solution was the correct way to solve it.</p>
<p>
<b>Steve Pepper</b> gave a  talk on <b>PRIs</b> (Public Resource Identifiers). In Pepper's viewpoint, URIs constitute a universal, globally unique, way of naming things. However, people are <b>not using URIs as identifiers</b>, and not re-using them, and there have become far too many flavors of URIs (IRIs, URNs, TDBs, etc.), with no repositories or discovery mechanism. So Pepper suggests that all identifiers should use  <b><code>http:</code> URIs</b> since they are already the most popular and have a widely-implemented resolution mechanism, and develop some <b>PRD</b> (Public Resource Description) representation that they can return featuring at least human-readable data (although possibly also machine-readable data) to make it easy to use the identifier. This PRI effort is very similar to Published Subjects, yet just requiring the use of <code>http</code> scheme. Pepper suggests creating a XG with sponsors from the W3C, ISO SC34, and OASIS to fast-track a W3C Recommendation and ISO Report to get PRIs off the ground. Some members of the audience thought the name of <b>Cool URI</b> might be better, as the meme is already out there. Overall, the audience was in agreement with Pepper's practical approach to solving the problem, and their main concern was that XG might be too exclusionary. Pepper then noted that only by keeping it a small group of people would progress be likely. 
 </p>
<p>
<b>Peter Patel-Schneider</b> of Bell Labs presented a paper for a more small, yet fundamental, change in how the Semantic Web operates that would allow <i>meanings to be local the Web</i>. Under the <b>intended meaning</b> view, a URI means what it is intended to mean by its owner. However, this has two problems: It is almost impossible to tell what the owner intended and the user of a URI may disagree with what the owner intends. For example, the URI <code>http://www.whitehouse.gov#president</code> denotes Bush, and Patel-Schneider disagrees that this is a true statement.  Patel-Schneider put forward the solution that meaning on the Semantic Web should be <b>local</b> as to allow divergence of meaning by default and <i>force ontologies from elsewhere to be explicitly imported</i>. This can be accomplished by allowing the fragment ids can be stripped off the URI and the resultant meaning retrieved from the racine URI (such as http://www.whitehouse.gov) could give a reasoner the additional information needed (such as that Bush owns the domain <code>http://www.whitehouse.gov</code>, and therefore it may be only Bush that believes he is the President). The default should to be to assume that only the local statements about the racine should be considered unless an <code>owl:imports</code> is used to explicitly use other ontologies. The audience seemed sympathetic to the proposal, and Patel-Schneider, while disavowing any non-formal meaning, did not see the harm in a URI returning a PRI document.
</p>
<p>
Live via an audio connection, Pat Hayes of IHMC gave a presentation "in defense of ambiguity." As opposed to many of the other presentations that seemed to be committed to eliminating ambiguity, Hayes drilled home the point that ambiguity is inherent in the structure of the world and knowledge representation is no exception.   There are two types of distinct relationships (that Hayes claims are muddled by the use of the word "identity" in the Web community) between names and things, that of <b>access</b> and that of <b>reference</b>. Names that refer to must refer to by description and are thus always using a partial description. Reference far outnumbers access, since only things like webcams and HTML web-pages can be accessed  via the Web. <i>All English words are ambiguous, so there is no way to guarantee the sender and the receiver have the same thing in mind</i>. For example, is a "carpet in a an office" part of the office or not? "Saying more" by <i>adding richer formal ontologies makes the problem worse</i>, since it introduces finer distinctions. If URIs are global and eternal in scope, they cannot be unambiguous since there is always the possibility of another finer-level distinction being made in the future. So we should use the ambiguity of reference to our advantage. Also, we should have an explicit naming convention for things that can be accessed on the Web, like the names in named graphs or some profile in HTML. Hayes also briefly disagreed with the TAG's resolution of <i>httpRange-14</i>, citing that they were confusing the inaccessibility of a document with reference and uses excess redirection. Members of the audience disagreed that the Web was entirely like natural language, being a human argument, and that humans do even in natural language (as in a parent giving distinct to distinct children) attempt to reduce ambiguity. 
</p>
<p>
<b>Choi Hee Chul</b> of DERI Korea presented a work on trust management for personal identity that touched on topics of identity in general. Names are given their meaning by the relationships they have, such as links or trusted relationships.  He mentioned <i>the utility of having multiple identities</i>, giving the example of the author who writes under a pseudonym and wishes to hide their identity from their work and family. On the Semantic Web this would entail separate URIs, so that this common practice violates the "One URI for a Thing" principle. Chul then describes how the idea of Mi>a name only being valid in a particular context</i>, and a person may have multiple contexts. 
</p>
<p>
<b>John Black</b> of Deltek then discussed the use of socially constructed web-sites, such as <code>deli.cio.us</code>, in grounding the naming process. He noted that for a name to be adopted one <i>should separate the process of naming and accepting the name</i>, and that these must involve at least two agents. Once this naming action, a <b>performative</b>, is complete the name then becomes <b>common ground</b> among a community of agents that all recognize the name. Black noted that this process is more akin to establishing a contract in eBay than using a search engine like Swoogle. However, socially constructed websites allow users to actively name a URI using tags and then for other users to endorse that URI and tag it as well, providing a model for social meaning. 
</p>
<p>
<b>Henry Thompson</b> of the W3C and University of Edinburgh chaired the workshop and summarized the results and themes. The main theme he identified was whether a URI whose primary purpose was  to reference or name a thing should someone <i>wear its nature on its sleeve</i>. If this <b>Semantic Web URI</b> can be <i>dereferenced to retrieve a representation</i>, what exactly should it return, and should this be standardized? The Pluto problem was a fundamental one, since it allows us to have differing "local" Semantic Webs and <i>threatened the monotonicity of the Semantic Web</i>. He also noted there was a call for a separate naming convention. Lastly, he ended by noting Hayes had said that "the Semantic Web languages would operate exactly unchanged if the identifiers in them were not URIs at all, and if the Web did not exist." Thompson noted that if this was indeed the case, then the Semantic Web could not distinguish itself from the failure classical artificial intelligence. Indeed, the new and most interesting element of the Semantic Web that distinguished it from artificial intelligence was its use of the URI, and so <i>we must be able to leverage URIs for more than their uniqueness</i>. Whether we learn how to do so or not is fundamental for the success of the Semantic Web.  
</p>
</div>
<div id="conclusion">
<h2>Conclusion</h2>
<p>
There was a surprising amount of agreement that the Web community should move forward on this issue. Indeed, it seemed that there was a given acceptance that the nature of the various types of resources should be clarified, and some sort of best practice for using URIs on the Semantic Web (at least) be clarified. To synthesize the proposals, it appears that something similar to PRIs and a local theory of meaning for the Semantic Web would solve many of the problems. So, in essence, a URI for the Semantic Web that is meant as a name should be explicitly declared as a "name" for purposes of reference, as opposed to accessing representations. This explicit acting of naming should also include a way to identify the "namer" who gave this URI the name. This type of resource should in turn leverage the "follow your nose" property of the Web, and return some representation that can tell both a human and a machine that this resource is supposed to be used as a name. 
</p>
</p>
There are number of options here. One was the use <code>profile</code> attribute in normal HTML. Another was to return a representation that was explicitly human-readable, such as a small graphic similar to "W3C Approved HTML" that could state "PRI" or "CoolURI."  Also, one could incorporate further information, such as the namer and naming relationship, as RDF, possibly embedded as RDFa in the HTML itself. Lastly, one could easily incorporate the "follow your nose" principle using only RDF as well, such that the web-page would serve some form of a named graph of RDF (either through conneg or RDFa in the HTML) statements when the racine was used as a sort of qualifier for the statements given by deferencing the URI. Lastly, this approach of serving descriptions in RDF and a specially demarcated HTML could be implemented in the Semantic Wikipedia with a minimum of effort, and could also be used with redirection if needed. In general, this seems to be the most pragmatic way forward for leveraging URIs as long as fundamental facts about the nature of ambiguity are taken into account. Indeed, a focus upon the role of URIs in the Web is key to making the Semantic Web effort succeed.  
</p>
</div>
<body>
</html>

