Bijan Parsia
University of Manchester
Peter F. Patel-Schneider
Bell Labs Research
The meaning of names (URI references) is a contentious issue in the Semantic Web. Numerous proposals as to how to provide meaning for names in the Semantic Web, ranging from a strict localized model-theoretic semantics to proposals for a unified single meaning. We argue that a slight expansion of the standard model-theoretic semantics for names is sufficient for the present, and can easily be augmented where necessary to allow communities of interest to strengthen this spartan theory of meaning.
http://www.whitehouse.gov#president
is
whatever owner of www.whitehouse.gov
intended. http://www.whitehouse.gov#president
is the "president
of the USA". http://www.whitehouse.gov#president
denotes the
same as George Bush. http://www.whitehouse.gov#president
is just some
element of a formal domain of discourse. owl:imports
)
- should pull in a small part of the Semantic Web. owl:imports
extends OWL formal meaning.