Abstract
The expected utility of the Semantic Web (SW) hinges upon the idea that machines, just like humans, can make and interpret statements about “real world” objects, properties, and relations. A cornerstone of this idea is the notion that Uniform Resource Identifiers (URIs) can be used to refer to entities existing independently of the web and to convey meanings. In this chapter, when a URI is used in this manner we will say that it is used declaratively, or that it is an R-URI. The key question is this: when an R-URI is used declaratively on the SW how is an agent, especially a non-human one, supposed to “understand” or “know” what it is intended to refer to or mean? Within the broad community of computational ontologists and SW practitioners there seems to be a widespread understanding that to provide a meaning/referent for an R-URI the responsible “web-presence” should return (or provide reference to) a formal ontology, or some set of formal “core assertions,” that can be used to “establish” the “denotation” of the R-URI. This view, which we will call the Ontology-Mediated (OM) view of SW reference/meaning, presupposes that terms can be given precise conditions for their applicability, and that the latter can be used to “pick out” the intended real world referent/meaning of terms. This chapter argues that the presuppositions of the OM view are incompatible with the requirement that SW terms/statements should be identical or analogous in meaning to corresponding natural language terms/statements. Natural language is a rule-governed activity, but the rules for using a term or uttering a statement are typically not fully determinate. This phenomenon is a consequence of Ontological Indeterminacy: the inescapable fact that two or more incompatible conceptual systems can often be applied to a domain of interest with equal empirical adequacy. This chapter presents a detailed “real world” example - based upon the currently controversial topic of same-sex marriage - and develops a use-case to buttress the claim that this phenomenon causes problems for the OM view. It seems, therefore, that SW developers/users are faced with a dilemma. If, on the one hand, formal semantic methods, like ontologies, are essential for “picking out” the meaning of SW terms, then those terms will not, in many cases, have the same meaning as their natural language counterparts. If, on the other hand, formal methods are not used to define SW terms, then how is it possible to provide them with meanings that can be interpreted by machines?In this chapter, we will see that this dilemma is based on the mistaken presupposition that the meanings of SW terms must always be determined by giving precise applicability conditions in order for the goals of the SW to be achieved. We show that this presupposition is bound up with the philosophical view that reference and meaning are a function of correspondence of language to reality. We will see that an alternative philosophical account, namely, a “meaning as use” point of view, can be the basis for an account of the meaning of SW terms that avoids the problems of the OM view. The key insight we draw from this account is that there is a distinction between the intention to use a term in some customary manner and the decision to adopt a formal theory that explains or explicates that usage. Formal methods provide a means of explicating the intended senses of SW terms so those senses can be processed by machines for use in certain applications. The intention to use a term according to a certain known natural language community usage, however, can be communicated and processed independently of the decision to accept a particular theory that explicates the intended sense. This account satisfies the goals of the SW and avoids the problems associated with the OM view.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have