Results 301 to 310 of about 388,626 (336)

A Semantics for Relational Programming

1992
This paper presents an elementary model of relational programming as a generalisation of functional programming. We present well-known models of features of functional programming and show one way that they generalise to the relational case. This is achieved by giving a uniform construction of a category of types and relations from a category of types ...
openaire   +2 more sources

The Fuzzy Semantic Relations in Semantic Link Network

2010 Second International Workshop on Education Technology and Computer Science, 2010
The Semantic Link Network (SLN) is a directed network consisting of semantic nodes and semantic links between nodes. A semantic link directed from one node to another can be represented as a pointer labeled with a semantic relation. Since the proposed of SLN, it gets widely used, and increasingly becomes a study hotspot.
Zhurong Zhou, Yuhui Qiu, Lunqian Duan
openaire   +2 more sources

On the semantics of the relational data model

Proceedings of the 1975 ACM SIGMOD international conference on Management of data - SIGMOD '75, 1975
The relational model for data base organization introduced clearly defined basic algebraic concepts whose properties are well understood. As a consequence, questions of a semantic nature arise. Due to the mathematical nature of the relational model, these questions cannot be answered completely by it.
Hans Albrecht Schmid, J. Richard Swenson
openaire   +2 more sources

Coding Semantic Relations

2015
A system for notating semantic relation in the sentence: role-coding mechanisms, light verbs, complex constructions.
openaire   +2 more sources

Interactive Elicitation of Relation Semantics for the Semantic Web

2007
This paper the workflow and architecture of the Relation Semantics Elicitation Prototype {RSEP}. RSEP has been developed to address the limitations of the Description Logic based constructs of the Web Ontology Language (OWL)
Cartik R. Kothari, David J. Russomanno, Phillip N. Tran   +2 more
openaire   +2 more sources

On the Semantic Relation of Z and HOL

1998
We investigate the relation between the semantic models of Z, as proposed by the Z draft standard, and of the polymorphic version of higher-order logic that is the basis for proof systems such as HOL and Isabelle/HOL. Disregarding the names in schema types, the type models of the two systems can be identified up to isomorphism.
openaire   +2 more sources

Relational Semantics in an Integrated System

1994
This paper contains the description of a system for handling semantics of computer programs. The methodology used for the description of semantics is the relational semantics: — possibly incomplete — information about programs is represented by binary relations.
openaire   +3 more sources

Relational Semantics and Domain Semantics for Epistemic Modals

Journal of Philosophical Logic, 2016
The standard account of modal expressions in natural language analyzes them as quantifiers over a set of possible worlds determined by the evaluation world and an accessibility relation. A number of authors have recently argued for an alternative account according to which modals are analyzed as quantifying over a domain of possible worlds that is ...
openaire   +2 more sources

A pragmatic approach to semantic relations

2003
It was all so nearly alike it must be different. Gertrude Stein, Composition as explanation (1926) Following the assumptions of chapter 1, only information that is both arbitrary and relevant to linguistic competence is contained in lexical entries.
openaire   +2 more sources

Relational Scaling in Relational Semantic Systems

2009
In this paper two developments in Conceptual Knowledge Processing are combined, namely Contextual Logic introduced by Rudolf Wille and Temporal Concept Analysis introduced by the author. The basic structures connecting both theories are Relational Semantic Systems (RSS), each consisting of conceptual scales and a Relational Data Systems (RDS) for the ...
openaire   +1 more source