How to write a document in controlled natural language

Rolf Schwitter, Anna Ljungberg

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

Abstract

This paper shows how a computer-processable document can be written in a controlled natural language (PENG) with the help of a sophisticated look ahead editor (ECOLE). The editor provides syntactic hints after each word form entered and indicate show the author can continue the text. This way the author does not need to learn or to remember the restrictions of the controlled language. PENG documents are automatically translated into first-order logic via discourse representation structures. These formal entities can be checked by a theorem prover for inconsistency or consistency can be revealed by a model builder.
Original languageEnglish
Title of host publicationProceedings of the Seventh Australasian Document Computing Symposium, Sydney
EditorsJudy Kay, James Thom
Place of PublicationSydney
PublisherUniversity of Sydney
Pages133-136
Number of pages4
ISBN (Print)1864875259
Publication statusPublished - 2002
EventAustralasian Document Computing Symposium ADCS 2002 - Sydney
Duration: 16 Dec 200216 Dec 2002

Conference

ConferenceAustralasian Document Computing Symposium ADCS 2002
CitySydney
Period16/12/0216/12/02

Fingerprint Dive into the research topics of 'How to write a document in controlled natural language'. Together they form a unique fingerprint.

Cite this