Also categorized in Semantic:
Information Week on The Ultimate Search Engine
x hide permanently

Processing Coordinated Structures in PENG Light

SpringerLink Home
PENG Light is a controlled natural language designed to write unambiguous specifications that can be translated automatically via discourse representation structures into a formal target language. Instead of writing axioms in a formal language, an author writes a specification and the associated background axioms directly in controlled natural language. In this paper, we first review the controlled natural language PENG Light and show how a discourse representation structure is generated for sentences written in PENG Light. We then discuss two different solutions of how discourse representation structures can be implemented for coordinated structures. Finally, we show how an efficient implementation ...
Mentions: Sydney Australia Macquarie University