Model-theoretic semantics for the web

ABSTRACT

Model-theoretic semantics is a formal account of the interpretations of legitimate expressions of a language. It is increasingly being used to provide Web markup languages with well-defined semantics. But a discussion of its roles and limitations for the Semantic Web has not yet received a coherent and detailed treatment. This paper takes the first steps towards such a treatment. The major result is an introductory explication of key ideas that are usually only implicit in existing accounts of semantics for the Web. References to more detailed accounts of these ideas are also provided. The benefit of this explication is increased awareness among Web users of some important issues inherent in using model-theoretic semantics for Web markup languages.

REFERENCES

• 1: Baader, F.; Nutt, W.; Basic Description Logics in F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, P. F. PatelSchneider (Editors), The Description Logic Handbook. Cambridge University Press, 2002, 47--100.
• 2: Berners-Lee, Tim; Miller, Eric. The Semantic Web lifts off. ERCIM News, Number 51, October 2002, 9--11, http://www.ercim.org/publication/Ercim_News/enw51/berners-lee.html.
• 3: Berners-Lee, T.; Hendler, J.; and Lassila, O. The Semantic Web. Scientific American 184(5), 2001, 34--43.
• 4: Blackburn, Patrick; Bos, Johan. Representation and Inference for Natural Language: A First Course in Computational Semantics. http://www.comsem.org
• 5: Brickley, Dan; Guha, R. V. (Editors), RDF Vocabulary Description Language 1.0: RDF Schema, W3C Working Draft 23 January 2003, http://www.w3.org/TR/rdf-schema
• 6: The Concise Oxford Dictionary of Linguistics. Oxford, 1997.
• 7: R.E. E. Davis, Truth, Deduction, and Computation: Logic and Semantics for Computer Science, W. H. Freeman & Co., New York, NY, 1989
• 8: Ebbinghaus, H.-D.; Flum, J.; Thomas, W. Mathematical Logic. 2nd edition. Springer, 1994.
• 9: Enderton, Herbert B. A Mathematical Introduction to Logic, 2nd ed., 2001.
• 10: Etchemendy, John. The Concept of Logical Consequence. CSLI 1999.
• 11: Jon Barwise , John Etchemendy, Model-theoretic semantics, Foundations of cognitive science, MIT Press, Cambridge, MA, 1989
• 12: Feferman, Solomon. Tarski's Conceptual Analysis of Semantical Notions. Expanded text of a lecture for "Sémantique et épistémologie" Casablanca, 2002. http://math.stanford.edu/~feferman/papers/conceptanalysis.pdf.
• 13: Fikes, Richard and McGuinness, Deborah L., An Axiomatic Semantics for RDF, RDF Schema, and DAML+ OIL, KSL Technical Report KSL-01-01, 2001. Updated October, 2001. http://www.ksl.stanford.edu/people/dlm/damlsemantics/daml+oil-axioms-october2001.htm.
• 14: Hayes, Patrick (Editor) RDF Semantics. W3C Working Draft 23 January 2003, http://www.w3.org/TR/rdf-mt/.
• 15: Hintikka, J. Is There Compeleteness in Mathematics after Gödel?, Philosophical Topics 17(2), 69--90, 1989.
• 16: Hoare, C. A. R.; Jifeng, He. Unifying Theories of Programming. Prentice Hall, 1998.
• 17: Hodges, Wilfrid. The unexpected usefulness of model theory in semantics. Conference on Semantics and Epistemology, Casablanca, March, 2002. http://www.maths.qmw.ac.uk/~wilfrid/casablanca.pdf.
• 18: Hodges, Wilfrid. First-Order Model Theory. Stanford Encyclopedia of Philosophy. http://plato.stanford.edu/entries/modeltheory-fo/2001.
• 19: Hodges, Wilfrid. Model Theory. Stanford Encyclopedia of Philosophy. http://plato.stanford,edu/entries/model-theory/2001.
• 20: Hodges, Wilfrid. Classical Logic I: First-Order Logic, in Goble, Lou (Editor), The Blackwell Guide to Philosophical Logic, 2001, 9--32.
• 21: Wilfrid Hodges, A shorter model theory, Cambridge University Press, New York, NY, 1997
• 22: Hodges, Wilfrid. Truth in a structure. Proceedings of the Aristotelian Society, New Series, 86 (1985/1986), 131--151.
• 23: Ian Horrocks, DAML+OIL: A Reason-able Web Ontology Language, Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology, p.2-13, March 25-27, 2002
• 24: Jackendoff, Ray. Foundations of Language: Brain, Meaning, Grammar, and Evolution. Oxford, 2002.
• 25: Klyne, Graham; Carroll, Jeremy J. (Editors) Resource Description Framework (RDF): Concepts and Abstract Syntax. W3C Working Draft 23 January 2003, http://www.w3.org/TR/rdf-concepts.
• 26: Lassila, Ora; McGuinness, Deborah. The Role of FrameBased Representation on the Semantic Web. http://www.ida.liu.se/ext/epa/cis/2001/005/paper.pdf
• 27: Lassila, Ora; Swick, Ralph R. (Editors.), Resource Description Framework (RDF) Model and Syntax Specification, W3C Recommendation 22 February 1999.
• 28: Löbner, Sebastian. Understanding Semantics. Arnold/Oxford, 2002.
• 29: María Manzano , Ruy J. G. B. De Queiroz, Model theory, Oxford University Press, Oxford, 1999
• 30: McGuinnes, Deborah L.; van Harmelen, Frank. Web Ontology Language (OWL): Overview. W3C Working Draft February 5, 2003, http://www.w3.org/TR/owl-features/
• 31: Bertrand Meyer, Introduction to the theory of programming languages, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
• 32: Mosterin, Jesús, in Preface to Manzano, Maria, Model Theory. Oxford, 1999.
• 33: Nardi, D.; Brachman, R. J. An Introduction to Description Logics. In the Description Logic Handbook, edited by F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, P. F. Patel-Schneider, Cambridge University Press, 2002, 5--44.
• 34: Oullett, Roxane; Ogbuji, Uche. Introduction to DAML: Part I. http://www.xml.com/pub/a/2002/01/30/daml1.html
• 35: Patel-Schneider, Peter F.; Hayes, Patrick; Horrocks, Ian (Editors), Web Ontology Language (OWL) Abstract Syntax and Semantics. W3C Working Draft 3 February 2003, http://www.w3.org/TR/owl-semantics/.
• 36: Pillay, Anand. Model Theory. Notices of the American Mathematical Society, December, 2000, pp. 1373--1381. http://www.ams.org/notices/200011/fea-pillay.pdf.
• 37: Rastier, François; Cavazza, Marc; Abeillé, Anne. Semantics for Descriptions: From Linguistics to Computer Science. CSLI, 2002.
• 38: Ruttkamp, Emma. A Model-theoretic realist interpretation of science. Kluwer, 2002.
• 39: Shapiro, S. Necessity, Meaning, and Rationality: The Notion of Logical Consequence, in Jacquette, Dale (Editor), A Companion to Philosophical Logic. Blackwell, 2002, 227--240.
• 40: Smith, Michael K.; McGuinness, Deborah; Volz, Raphael; Welty, Chris. Web Ontology Language (OWL) Guide Version 1.0. W3C Working Draft 4 November, 2002, http://www.w3.org/TR/owl-guide/.
• 41: Suppes, Patrick. Representation and Invariance of Scientific Structures. CSLI, 2002.
• 42: Swart, Henriëtte de. Introduction to Natural Language Semantics. CSLI, 1998.

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.1 Mathematical Logic
          Subjects: Model theory

General Terms:
Languages, Standardization, Theory

Keywords:
model-theoretic semantics, semantics, web markup languages