How to write a document in controlled natural language

Rolf Schwitter; Anna Ljungberg

How to write a document in controlled natural language

Centre for Language Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-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 language	English
Title of host publication	Proceedings of the Seventh Australasian Document Computing Symposium, Sydney
Editors	Judy Kay, James Thom
Place of Publication	Sydney
Publisher	University of Sydney
Pages	133-136
Number of pages	4
ISBN (Print)	1864875259
Publication status	Published - 2002
Event	Australasian Document Computing Symposium ADCS 2002 - Sydney Duration: 16 Dec 2002 → 16 Dec 2002

Conference

Conference	Australasian Document Computing Symposium ADCS 2002
City	Sydney
Period	16/12/02 → 16/12/02

Cite this

@inproceedings{6e8de7d9af4842dc8fb01374cc2d02fe,

title = "How to write a document in controlled natural language",

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.",

author = "Rolf Schwitter and Anna Ljungberg",

year = "2002",

language = "English",

isbn = "1864875259",

pages = "133--136",

editor = "Judy Kay and James Thom",

booktitle = "Proceedings of the Seventh Australasian Document Computing Symposium, Sydney",

publisher = "University of Sydney",

address = "Australia",

note = "Australasian Document Computing Symposium ADCS 2002 ; Conference date: 16-12-2002 Through 16-12-2002",

}

TY - GEN

T1 - How to write a document in controlled natural language

AU - Schwitter, Rolf

AU - Ljungberg, Anna

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

M3 - Conference proceeding contribution

SN - 1864875259

SP - 133

EP - 136

BT - Proceedings of the Seventh Australasian Document Computing Symposium, Sydney

A2 - Kay, Judy

A2 - Thom, James

PB - University of Sydney

CY - Sydney

T2 - Australasian Document Computing Symposium ADCS 2002

Y2 - 16 December 2002 through 16 December 2002

ER -

How to write a document in controlled natural language

Abstract

Conference

Fingerprint

Cite this