Journal ArticleDOI
Modular Grammar Engineering in GF
TLDR
The goal is to make it possible for linguistically untrained programmers to write linguistically correct application grammars encoding the semantics of special domains, and the type system of GF guarantees that grammaticality is preserved.Abstract:
The Grammatical Framework GF is a grammar formalism designed for multilingual grammars. A multilingual grammar has a shared representation, called abstract syntax, and a set of concrete syntaxes that map the abstract syntax to different languages. A GF grammar consists of modules, which can share code through inheritance, but which can also hide information to achieve division of labour between grammarians working on different modules. The goal is to make it possible for linguistically untrained programmers to write linguistically correct application grammars encoding the semantics of special domains. Such programmers can rely on resource grammars, written by linguists, which play the role of standard libraries. Application grammarians use resource grammars through abstract interfaces, and the type system of GF guarantees that grammaticality is preserved. The ongoing GF resource grammar project provides resource grammars for ten languages. In addition to their use as libraries, resource grammars serve as an experiment showing how much grammar code can be shared between different languages.read more
Citations
More filters
Journal ArticleDOI
The GF Resource Grammar Library
TL;DR: The focus of this paper is on the linguistic aspects of the GF Resource Grammar Library—in particular, what syntactic structures are covered and how the problems arising in different languages have been solved.
Book ChapterDOI
Implementing controlled languages in GF
Krasimir Angelov,Aarne Ranta +1 more
TL;DR: GF, Grammatical Framework, is introduced as a tool for implementing controlled languages and provides a high-level grammar formalism and a resource grammar library that make it easy to write grammars that cover similar fragments in several natural languages at the same time.
Journal ArticleDOI
Grammar Customization
TL;DR: LinGO Grammar Matrix as mentioned in this paper is a web-based service which elicits typological descriptions of languages and outputs customized grammar fragments which are ready for sustained development into broad-coverage grammars.
Dissertation
The Mechanics of the Grammatical Framework
TL;DR: A new low-level representation called Portable Grammar Format (PGF) is developed which is simple enough for an efficient interpretation of GF and is intended as a reference for building alternative implementations and as a foundation for the future development of PGF.
Journal ArticleDOI
PGF: A Portable Run-time Format for Type-theoretical Grammars
TL;DR: This paper gives a concise description of PGF, covering syntax, semantics, and parser generation, and discusses the technique of embedded Grammatical Framework, where language processing tasks defined by PGF grammars are integrated in larger systems.
References
More filters
Journal ArticleDOI
On the criteria to be used in decomposing systems into modules
TL;DR: In this paper, the authors discuss modularization as a mechanism for improving the flexibility and comprehensibility of a system while allowing the shortening of its development time, and the effectiveness of modularization is dependent upon the criteria used in dividing the system into modules.
Book
Head-driven phrase structure grammar
Ivan A. Sag,Carl Jesse Pollard +1 more
TL;DR: This book presents the most complete exposition of the theory of head-driven phrase structure grammar, introduced in the authors' "Information-Based Syntax and Semantics," and demonstrates the applicability of the HPSG approach to a wide range of empirical problems.
Book
The Definition of Standard ML
TL;DR: This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers, and the authors have defined their semantic objects in mathematical notation that is completely independent of StandardML.
Journal ArticleDOI
Recursive functions of symbolic expressions and their computation by machine, Part I
TL;DR: A programming system called LISP (for LISt Processor) developed for the IBM 704 computer by the Artificial Intelligence group at M.I.T. was designed to facilitate experiments with a proposed system called the Advice Taker, whereby a machine could be instructed to handle declarative as well as imperative sentences and could exhibit "common sense" in carrying out its instructions.
Book
Haskell 98 language and libraries : the revised report
Peyton Jones,L Simon +1 more
TL;DR: The Haskell 98 Language: Lexical structure, Declarations and bindings, Predefined types and classes, and Libraries.