Results 1 - 10 of 1,959

Model-Theoretic Semantics for the Web

by James Farrugia - in Proceedings of the 12th International Conference on the WWW, ACM , 2003
"... 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 ..."
Abstract - Cited by 15 (1 self) - Add to MetaCart
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

The Model-Theoretic Semantics of TRIPLE

by Stefan Decker, Michael Sintek, Wolfgang Nejdl , 2002
"... In this paper we investigate and formalize the notion of RDF Models (or context) for RDF data by defining syntax and a model theoretic semantics of TRIPLE, a logic for dealing with RDF and contexts. A unique feature of the language is that one context can be used as parameters for other contexts. T ..."
Abstract - Cited by 6 (1 self) - Add to MetaCart
In this paper we investigate and formalize the notion of RDF Models (or context) for RDF data by defining syntax and a model theoretic semantics of TRIPLE, a logic for dealing with RDF and contexts. A unique feature of the language is that one context can be used as parameters for other contexts

Model-Theoretic Semantics as Structural Semantics *

by Avery D Andrews , 2003
"... In spite of its impressive empirical track record over more than three decades, Model-Theoretic Semantics 2 (MTS) of natural language has been persistently under attack from two opposed directions: from one direction, various kinds of ‘Cognitivists’ ..."
Abstract - Add to MetaCart
In spite of its impressive empirical track record over more than three decades, Model-Theoretic Semantics 2 (MTS) of natural language has been persistently under attack from two opposed directions: from one direction, various kinds of ‘Cognitivists’

A Model Theoretic Semantics of OCL

by Peter Schmitt - Proceedings, IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development , 2001
"... This paper proposes a model theoretic semantics of the Object Constraint Language (OCL), strictily observing the OCL standard. ..."
Abstract - Cited by 8 (4 self) - Add to MetaCart
This paper proposes a model theoretic semantics of the Object Constraint Language (OCL), strictily observing the OCL standard.

A Model Theoretic Semantics of OCL

by unknown authors
"... Abstract. This paper proposes a model theoretic semantics of the Object Constraint Language (OCL), observing the OMG standard as close as possible ..."
Abstract - Add to MetaCart
Abstract. This paper proposes a model theoretic semantics of the Object Constraint Language (OCL), observing the OMG standard as close as possible

A Model-Theoretic Semantics for XML

by unknown authors
"... Abstract: The problem that XML formally governs syntax only but not semantics has been recognized as a serious barrier for XML-Based data integration and the extension of current Web to the semantic Web. To address this problem, the XML Semantics Definition Language (XSDL) is proposed to explicitly ..."
Abstract - Add to MetaCart
express the XML author’s intended meaning and a model-theoretic semantics for XML. In this way, the XML becomes a sub-language of RDF (resource description framework) in expressivity and the XML data can be semantics-preserving transformed to the RDF data. The semantic validity and entailment problem

Model Theoretic Semantics for Information Integration

by C. Ghidini, L. Serafini, Chiara Ghidini, Luciano Serafini - Proceedings AIMSA’98, 8th International Conference on Artificial Intelligence, Methodology, Systems, and Applications, volume 1480 of LNAI , 1998
"... Due to the increasing necessity and availability of information from different sources, information integration is becoming one of the challenging issues in artificial intelligence and computer science. A successful methodology for information integration is based on federated databases. Differe ..."
Abstract - Cited by 6 (2 self) - Add to MetaCart
. Differently form databases, a completely satisfactory formal treatment of federated databases is still missing. The goal of this paper is to fill this gap by providing a model theoretic semantics, called Local Models Semantics for federated databases. Our basic intuition is that a federated database can

A Model-Theoretic Semantics of The Multilevel Relational Model

by Xiaolei Qian - Advances in Database Technology -- EDBT'94, Lecture Notes in Computer Science 779 , 1994
"... A multilevel relational database represents information in a multilevel state of the world, which is the knowledge of the truth value of a statement with respect to a classification level in a security lattice. We develop a model-theoretic semantics of the multilevel relational model with tuplelevel ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
A multilevel relational database represents information in a multilevel state of the world, which is the knowledge of the truth value of a statement with respect to a classification level in a security lattice. We develop a model-theoretic semantics of the multilevel relational model

An Agent Language with Destructive Assignment and Model-Theoretic Semantics

by Robert Kowalski, Fariba Sadri
"... Abstract. In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programming (ALP), but employs a simplified state-free syntax, with an operational semantics that uses destructive assi ..."
Abstract - Cited by 10 (10 self) - Add to MetaCart
Abstract. In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programming (ALP), but employs a simplified state-free syntax, with an operational semantics that uses destructive

Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP

by Rahul Roy-Chowdhury, Mukesh Dalal - Proc. AAAI-97 , 1997
"... CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementations, CNF-BCP requires clausal form transformation that sometimes leads to an exponential increase in the size of a theo ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
theory. We present a new quadratic-time reasoner, RFP, that infers exactly the same literals as CNF-BCP. Although CNF-BCP has been specified only syntactically, we present a simple model-theoretic semantics for RFP. We also present a convergent term-rewriting system for RFP that is suitable for reasoning
Results 1 - 10 of 1,959