How are lexical senses described? One can identify two main families of sense descriptions on the basis of their relation to word meaning: word paraphrases vs. word interpretations. The first family can itself be subdivided into three main subfamilies, according to the formal nature of sense descriptions. 1. Word paraphrases 1.1. " Standard " lexicographic definitions are, roughly speaking, lin...

It is often said that many functional linguists lack a ‘theory’. Within formal linguistics, it is common to talk of different ‘theories’, such as Government-Binding Theory or Head-Driven Phrase Structure Grammar. When formal linguists look at the work of functional linguists like Givón (1984, 1990, 1995), they do not see a ‘theory’ in the sense of formal theories like Government-Binding Theory,...

Knowledge scouts are software agents that autonomously search for and synthesize user-oriented knowledge (target knowledge) in large local or distributed databases. A knowledge generation metalanguage, KGL, is used to creating scripts defining such knowledge scouts. Knowledge scouts operate in an inductive database, by which we mean a database system in which conventional data and knowledge man...

Subtyping is an important concept and used in many programming languages. One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: Subtypings A ≤ B are interpreted via conversion functions A → B. This paper shows how to extend the method to languages with computational effects, using Moggi’s computational metalanguage.

One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A B are interpreted via conversion functions A→B. This paper shows how to extend the method to languages with computational effects, using Moggi’s computational metalanguage.

this paper examines the semantic contribution of -?r and -andeh suffixes in persian based on lieber’s (2004) lexical semantic representation. this framework using six semantic features ([material], [dynamic], [location], [ieps] , [b] and [ci] and a principle called coordination principle studies the semantic contribution of lexical items including affixes and their functions in compounding, der...

Categorical models of the metalanguage FPC (a type theory with sums, products, exponentials and recursive types) are defined. Then, domain-theoretic models of FPC are axiomatised and a wide subclass of them —the non-trivial and absolute ones— are proved to be both computationally sound and adequate. Examples include: the category of cpos and partial continuous functions and functor categories o...

This paper presents the application of automatic analysis (of statistical and symbolic nature) for the detection and processing of metalanguage in highly technical texts from various domains. The selective metalinguistic information extraction performed by the MOP system allows compilation of non-conventional lexicons to aid domain-restricted NLP.