Model-theoretic semantics for the web

Proceedings of the 12th International Conference on World Wide Web, WWW 2003

Volumn , Issue , 2003, Pages 29-38

  Farrugia, James ^a  

^a University of Maine   (United States)

Author keywords

model theoretic semantics; semantics; web markup languages

Indexed keywords

MODEL-THEORETIC SEMANTICS; WEB USERS;

MARKUP LANGUAGES; SEMANTICS; WORLD WIDE WEB;

SEMANTIC WEB;

EID: 33646671504     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/775152.775158     Document Type: Conference Paper

References (42)

1. Baader, F.; Nutt, W.; Basic Description Logics in F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider (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. Davis, Ruth.E. Truth, Deduction, and Computation: Logic and Semantics for Computer Science. Computer Science Press, 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. Etchemendy, John; Barwise, Jon. Model-theoretic Semantics, in Posner, Michael (Editor), Foundations of Cognitive Science, MIT Press, 1989, 207-243.
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.p df.
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/daml-semantics/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. Hodges, Wilfrid. A Shorter Model Theory. Cambridge, 1997.
22. Hodges, Wilfrid. Truth in a structure. Proceedings of the Aristotelian Society, New Series, 86 (1985/1986), 131-151.
23. Horrocks, Ian. DAML+OIL: a Reason-able Ontology Language for the Semantic Web. Keynote talk given at AISB 2002, London, http://www.cs.man.ac.uk/ ∼horrocks/Slides/aisb02prn.pdf.
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 Frame-Based 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. Manzano, María. Model Theory. 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. Meyer, Bertrand. Introduction to the Theory of Programming Languages. Prentice Hall, 1991.
32. Mosterín, 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.