Bazsites.com Semantics
Directory Topics
On the Web
- Semantic Patterns Language - Explores Universal Semantic Code to help create applications for Semantic WEB.
- Semantic and Pragmatic Difficulties and SPLD - Introduction to semantic-and pragmatic-processing difficulties and their relationship to Semantic-Pragmatic Language Disorder (SPLD), an autism spectrum disorder. Authored by Caroline Bowen, PhD.
- W3C Semantic Web Activity Statement - The W3C Semantic Web Activity has been established to serve a leadership role, in both the design of specifications and the open, collaborative development of technology for the Semantic Web.
- Semantic Weblog - A weblog about PhD research on Semantic Web services and multiagent systems.
- The Future of the Semantic Web - Article on the semantic web and its significance for the scientific community by Dr. Albert Benschop (University of Amsterdam).
- Lexical Semantics of Language Design for Machine Translation - Online monograph by Rick Morneau.
- A Semantic View of Classical Proofs (1996) - Article by C.-H. Luke Ong presenting the semantics of classical proof theory from three prespectives: a formulae-as-types characterisation in a variant of Parigot's lambda-mu calculus, a denotational characterisation in game semantics, and a categorical semantics as a fibred CCC.
- Building a Semantic Web Site - Even though the Semantic Web may yet seem a remote dream, there are already tools one can use to make a tiny step forward by building "semantic web sites," which can be much easier to navigate than ordinary sites.
- How to Make a Semantic Web Browser - By Dennis Quan, IBM, and David R. Karger, MIT CSAIL, Cambridge, MA, USA. Proceedings of the 13th international World Wide Web conference, May 2004. The authors present Haystack, an application that allows to browse semantic web information. According to the authors, collections of resources like ODP are a social phenomenon not specific to HTML, and future browsers will better support access to this type of resources. ODP is explicitly named as a project in the existing web that is already part of the semantic web.
- The Semantic Web - A Bristol University project to create a globally-linked database to aid searching. Includes development, research, staff and publications.
Wikipedia Articles
- Kripke semantics - Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke, beginning when he was a teenager. It was first made for modal logics, and later adapted to ...
- History of denotational semantics - In computer science, the history of denotational semantics concerns denotational semantics that is an approach to formalizing the semantics of computer systems by constructing mathematical objects (called denotations or meanings) which express the semantics of these systems. Denotational semantics has a rich history that spans four decades of development.
- Truth-conditional semantics - Truth-conditional semantics is an approach to semantics of natural language that sees the meaning of a sentence being the same as, or reducible to, the truth conditions of that sentence. This approach to semantics is principally associated with Donald Davidson, and carries out for the semantics of natural language what Tarski's semantic theory ...
- Natural Language Semantics - Natural Language Semantics: An International Journal of Semantics and Its Interfaces in Grammar is a leading international peer-reviewed semantics journal published by Springer Netherlands (by Kluwer Academic Publishers before 2004). It is devoted to semantics and its interfaces in grammar, especially in syntax.
- Neighborhood semantics - Neighborhood semantics, also known as Scott-Montague semantics, is a formal semantics for modal logics. It is a generalization, developed independently by Dana Scott and Richard Montague, of the more widely known relational semantics for modal logic.