One of the key goals of rewriting logic from its beginning has been to provide a semantic and logical framework in which many models of computation and languages can be naturally represented. There is by now very extensive evidence supporting the claim that rewriting logic is indeed a very exible and simple logical and semantic framework. From a language design point of view the obvious questio...

Generally, every language has a lexicon that is grouped into classified verbs. Each verb can be broken down some specific subtypes. Particularly in English, verbs are semantically divided several Verbs such as tell, ask, inform, offer, forgive, and others belonging to the types of speech or acts. This study aims analyze natural semantic metalanguage analysis English act inform. In collecting da...

SALDO is a free full-scale modern Swedish semantic and morphological lexical resource intended primarily for use in language technology applications. In this paper we present our work on SALDO, compare it with some other lexicalsemantic resources – Wierzbicka’s Natural Semantic Metalanguage, Princeton WordNet, and Roget-style thesauruses – and discuss some implications of the differences.

This paper surveys languages used to enrich contextual information with semantic descriptions. Such descriptions can be e.g. applied to enable reasoning when collecting vast amounts of row data in domains like smart environments. In particular, we focus on the elements of the languages that make up their semantic. To do so, we compare the expressiveness of the well-known languages OWL, PDDL and...

In this paper, I present Underspecified Minimal Recursion Semantics (UMRS), a representation language that represents structural ambiguities in terms of underspecifica-tion. It is argued that this kind of approach allows for transparent semantic representations and a straightforward syntax-semantics interface. UMRS is a semantic metalanguage, whose expressions describe expressions of an object ...

This paper investigates a methodology of using FM (FraenkelMostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a domain theory for concurrency within FM sets the domain theory inherits types and operations for name generation, essentially without disturbing its original higherorder features. The original domain theory had a metalan...

In their criticisms of traditional theories politeness, Watts et al. (2005 [1992]) and Eelen (2001) call for first-order approaches to (im)politeness. While ‘discursive approach’ has faced its own criticisms, one useful strand which emerged from this research is a focus on how (im)politeness evaluated discussed. However, compared other (im)politeness, such language received little attention. St...

In this paper we present the heuristic algorithms at the core of a text meaning analyzer based on the ontological-semantic approach (e.g., Nirenburg and Raskin 2004). The full analyzer takes as input natural language texts and through many levels of analysis produces text meaning representations (TMRs) formulated in a specially developed ontology-based metalanguage that covers semantic as well ...