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.