Results 31 to 40 of about 1,360,419 (300)
Formal Ontologies, Linked Data, and TEI Semantics
Journal of the Text Encoding Initiative, 2016 The debate on the semantic role of markup languages has been quite lively and the TEI community has played an active part in it. It is commonly acknowledged that markup conveys semantic information.
Fabio Ciotti, Francesca Tomasi
doaj +1 more source
Formal Semantics: Origins, Issues, Early Impact
The Baltic International Yearbook of Cognition, Logic and Communication, 2010 Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments ...
Barbara H. Partee
doaj +1 more source
Intuitions and Competence in Formal Semantics
The Baltic International Yearbook of Cognition, Logic and Communication, 2010 In formal semantics intuition plays a key role, in two ways. Intuitions about semantic properties of expressions are the primary data, and intuitions of the semanticists are the main access to these data.
Martin Stokhof
doaj +1 more source
Type shifting and the number system in Persian [PDF]
نشریه پژوهشهای زبانشناسی, 2023 :The present article examines the structure of number phrase in Persian. It is also aimed at explaining the apparent lack of agreement between numerals and nouns in this language.
Amirmohammad Shirzad, Ali Darzi
doaj +1 more source
Issues in the formal semantics of referentiality
Journal of Portuguese Linguistics, 2015 On October 21st, and 22nd, 2013, during the Conference “On Referentiality”, which took place in Curitiba, Paraná, Brazil, the papers that compose this issue were first discussed.
Henriëtte de Swart +3 more
doaj +2 more sources
Four-Fold Formal Concept Analysis Based on Complete Idempotent Semifields
Mathematics, 2021 Formal Concept Analysis (FCA) is a well-known supervised boolean data-mining technique rooted in Lattice and Order Theory, that has several extensions to, e.g., fuzzy and idempotent semirings.
Francisco José Valverde-Albacete +1 more
doaj +1 more source
Conformance theory development: semantics, formal models, algorithms
Труды Института системного программирования РАН, 2018 The paper covers theoretical and practical works on conformance testing performed in ISP RAS since 1994 till now. The conformance theory development was done in various directions and, in the whole, was characterized by generalization of the interaction ...
Igor Burdonov, Alexander Kossatchev
doaj +1 more source
A Formal Semantics for OCL 1.4 [PDF]
, 2001 The OCL 1.4 specification introduces let-declarations for adding auxiliary class features in static structures of the UML. We provide a type inference system and a big-step operational semantics for the OCL 1.4 that treat UML static structures and UML object models abstractly and accommodate for additional declarations; the operational semantics ...
Cengarle, María Victoria +1 more
openaire +2 more sources
A formal semantics for situated conversation
Semantics and Pragmatics, 2018 While linguists and philosophers have sought to model the various ways in which the meaning of what we say can depend on the nonlinguistic context, this work has by and large focused on how the nonlinguistic context can be exploited to ground or anchor ...
Julie Hunter, A. Lascarides
semanticscholar +1 more source
A Framework for Distributional Formal Semantics [PDF]
, 2019 Formal semantics and distributional semantics offer complementary strengths in capturing the meaning of natural language. As such, a considerable amount of research has sought to unify them, either by augmenting formal semantic systems with a distributional component, or by defining a formal system on top of distributed representations.
Noortje J. Venhuizen +3 more
openaire +1 more source