Results 261 to 270 of about 2,176,830 (308)
Some of the next articles are maybe not open access.
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae, 2005Tabular Expressions (Parnas et al. [20, 28, 32, 33]) are means to represent the complex relations that are used to specify or document software systems. A formal model and a semantics for tabular expressions are presented. The model covers most known types of tables used in software engineering, and admits precise classification and definition of new ...
Ryszard Janicki, Alan Wassyng
openaire +3 more sources
Semantic distance and the verification of semantic relations
Journal of Verbal Learning and Verbal Behavior, 1973Four experiments dealt with the verification of semantic relations. In Experiment I, subjects decided whether an instance was a member of a specified category. For some categories (for example, birds) verification was faster when the target category was a direct superordinate (bird) than a higher level superordinate (animal), while for another category
Lance J. Rips +2 more
openaire +1 more source
A Semantics for Relational Programming
1992This 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
1997
Abstract Having solved the completeness problem, the algebraic semantics, introduced in the previous chapter, deprives us, however, of that transparent interpretation of logical connectives which made it possible to construct models for formulas by analyzing step by step their subformulas and adding new points, if necessary.
Alexander Chagrov, Michael Zakharyaschev
openaire +1 more source
Abstract Having solved the completeness problem, the algebraic semantics, introduced in the previous chapter, deprives us, however, of that transparent interpretation of logical connectives which made it possible to construct models for formulas by analyzing step by step their subformulas and adding new points, if necessary.
Alexander Chagrov, Michael Zakharyaschev
openaire +1 more source
Semantic relations in bilingual lexicons
ACM Transactions on Speech and Language Processing, 2008Bilingual lexicons, essential to many NLP applications, can be constructed automatically on the basis of parallel or comparable corpora. In this article, we make two contributions to their induction from comparable corpora. The first one concerns the creation of these lexicons.
Yves Peirsman, Sebastian Padó
openaire +2 more sources
Geographical Expression of Semantic Relations
2011 Seventh International Conference on Semantics, Knowledge and Grids, 2011This paper presents a method of how to produce a calculate and express spatial relations by a set of parameters. A new set of parameters more easily to understand and use is proposed based on two semantic meanings. Also the Voronoi diagram's application in neighbor relations is discussed.
Chengming Liang, Weifeng Lv, Sanli Ma
openaire +1 more source
Update semantics for multilevel relations
[1990] Proceedings of the Sixth Annual Computer Security Applications Conference, 2002A formal operational semantics is given for update operations on multilevel relations, i.e., relations in which individual data elements are classified at different levels. For this purpose, the familiar INSERT, UPDATE and DELETE operations of SQL are suitably generalized to cope with polyinstantiation.
Sushil Jajodia +2 more
openaire +2 more sources
Relational Scaling in Relational Semantic Systems
2009In 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
Refer-to-as Relations as Semantic Knowledge
Proceedings of the AAAI Conference on Artificial Intelligence, 2015We study Refer-to-as relations as a new type of semanticknowledge. Compared to the much studied Is-a relation,which concerns factual taxonomy knowledge, Refer-to-as relationsaim to address pragmatic semantic knowledge. Forexample, a “penguin” is a “bird” from a taxonomy point ofview, but people rarely refer to a “penguin” as a “bird ...
Song Feng 0002 +7 more
openaire +2 more sources
On the Semantic Relation of Z and HOL
1998We 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