Introduction to the theory of programming languages
Introduction to the theory of programming languages
Foundations of cognitive science
A shorter model theory
Model theory
Truth, Deduction, and Computation: Logic and Semantics for Computer Science
Truth, Deduction, and Computation: Logic and Semantics for Computer Science
DAML+OIL: A Reason-able Web Ontology Language
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Journal on data semantics VIII
Object role modelling for ontology engineering in the DOGMA framework
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
From folksologies to ontologies: how the twain meet
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
An ontology-based framework for domain-specific modeling
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
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.