A compositional DRS-based formalism for NLP applications

This paper describes and discusses the formalism which forms the backbone of semantic processing in the Verbmobil spoken dialogue translation project. In the first part, the theoretical core of the formalism is presented: lambda-DRT, a compositional version of Discourse Representation Theory. The main part describes the implementation of lambda-DRT, as a worked out semantic representation language for the Verbmobil project, which is designed to meet the special requirements of the application. Finally, we discuss future extensions and modications of the formalism

The Verbmobil semantic formalism (Version 1.3)

This report describes the semantic formalism developed at Saarbrücken University as part of the Verbmobil project. The formalism is based upon DRT with additional functionality to meet the requirements on semantic construction arising from spoken dialogue translation. We define the syntax of the formalism and illustrate the semantic composition process in detail

The Verbmobil Semantic Formalism (Version 1.3)

This report describes the semantic formalism developed at Saarbrucken University as part of the Verbmobil project. The formalism is based upon DRT with additional functionality to meet the requirements on semantic construction arising from spoken dialogue translation. We define the syntax of the formalism and illustrate the semantic composition process in detail. Contents 1 Introduction 3 2 Requirements on a Semantic Formalism 3 2.1 Methodological Principles : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 2.2 Specific requirements : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 3 Syntax of the Formalism 8 3.1 Definitions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 8 3.2 General Comments : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 10 3.3 Specific Comments : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 11 3.4 Comments on Notation : : : : : : : : : : : ..