Dynamic semantics at work

Rolf Schwitter; Marc Tilbrook

Dynamic semantics at work

Rolf Schwitter^*, Marc Tilbrook

^*Corresponding author for this work

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

2 Citations (Scopus)

Abstract

In this case study we show how an unambiguous semantic representation can be constructed dynamically in left-to-right order while a text is written in PENG, a controlled natural language designed for knowledge representation. PENG can be used in contexts where precise texts (e.g. software specifications, axioms for formal ontologies, legal documents) need to be composed. Texts written in PENG look seemingly informal and are easy to write and to read for humans but have first-order equivalent properties that make these texts computer-processable.

Original language	English
Title of host publication	New Frontiers in Artificial Intelligence - JSAI 2003 and JSAI 2004 Conferences and Workshops, Revised Selected Papers
Editors	Akito Sakurai, Köiti Hasida, Katsumi Nitta
Place of Publication	Berlin; Heidelberg
Publisher	Springer, Springer Nature
Pages	416-426
Number of pages	11
Volume	3609 LNAI
ISBN (Print)	3540710086, 9783540710080
Publication status	Published - 2007
Event	17th and 18th Annual Conferences of the Japanese Society for Artificial Intelligence, (JSAI 2003 and JSAI 2004) - Niigata, Japan Duration: 23 Jun 2003 → 27 Jun 2003

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3609 LNAI
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Other

Other	17th and 18th Annual Conferences of the Japanese Society for Artificial Intelligence, (JSAI 2003 and JSAI 2004)
Country/Territory	Japan
City	Niigata
Period	23/06/03 → 27/06/03

Cite this

Schwitter, R., & Tilbrook, M. (2007). Dynamic semantics at work. In A. Sakurai, K. Hasida, & K. Nitta (Eds.), New Frontiers in Artificial Intelligence - JSAI 2003 and JSAI 2004 Conferences and Workshops, Revised Selected Papers (Vol. 3609 LNAI, pp. 416-426). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3609 LNAI). Springer, Springer Nature.

Schwitter, Rolf ; Tilbrook, Marc. / Dynamic semantics at work. New Frontiers in Artificial Intelligence - JSAI 2003 and JSAI 2004 Conferences and Workshops, Revised Selected Papers. editor / Akito Sakurai ; Köiti Hasida ; Katsumi Nitta. Vol. 3609 LNAI Berlin; Heidelberg : Springer, Springer Nature, 2007. pp. 416-426 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{bf0db93a59fa44c9a6a3d9d6fe79725e,

title = "Dynamic semantics at work",

abstract = "In this case study we show how an unambiguous semantic representation can be constructed dynamically in left-to-right order while a text is written in PENG, a controlled natural language designed for knowledge representation. PENG can be used in contexts where precise texts (e.g. software specifications, axioms for formal ontologies, legal documents) need to be composed. Texts written in PENG look seemingly informal and are easy to write and to read for humans but have first-order equivalent properties that make these texts computer-processable.",

author = "Rolf Schwitter and Marc Tilbrook",

year = "2007",

language = "English",

isbn = "3540710086",

volume = "3609 LNAI",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

pages = "416--426",

editor = "Akito Sakurai and K{\"o}iti Hasida and Katsumi Nitta",

booktitle = "New Frontiers in Artificial Intelligence - JSAI 2003 and JSAI 2004 Conferences and Workshops, Revised Selected Papers",

address = "United States",

note = "17th and 18th Annual Conferences of the Japanese Society for Artificial Intelligence, (JSAI 2003 and JSAI 2004) ; Conference date: 23-06-2003 Through 27-06-2003",

}

Schwitter, R & Tilbrook, M 2007, Dynamic semantics at work. in A Sakurai, K Hasida & K Nitta (eds), New Frontiers in Artificial Intelligence - JSAI 2003 and JSAI 2004 Conferences and Workshops, Revised Selected Papers. vol. 3609 LNAI, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3609 LNAI, Springer, Springer Nature, Berlin; Heidelberg, pp. 416-426, 17th and 18th Annual Conferences of the Japanese Society for Artificial Intelligence, (JSAI 2003 and JSAI 2004), Niigata, Japan, 23/06/03.

Dynamic semantics at work. / Schwitter, Rolf; Tilbrook, Marc.
New Frontiers in Artificial Intelligence - JSAI 2003 and JSAI 2004 Conferences and Workshops, Revised Selected Papers. ed. / Akito Sakurai; Köiti Hasida; Katsumi Nitta. Vol. 3609 LNAI Berlin; Heidelberg: Springer, Springer Nature, 2007. p. 416-426 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3609 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - Dynamic semantics at work

AU - Schwitter, Rolf

AU - Tilbrook, Marc

PY - 2007

Y1 - 2007

N2 - In this case study we show how an unambiguous semantic representation can be constructed dynamically in left-to-right order while a text is written in PENG, a controlled natural language designed for knowledge representation. PENG can be used in contexts where precise texts (e.g. software specifications, axioms for formal ontologies, legal documents) need to be composed. Texts written in PENG look seemingly informal and are easy to write and to read for humans but have first-order equivalent properties that make these texts computer-processable.

AB - In this case study we show how an unambiguous semantic representation can be constructed dynamically in left-to-right order while a text is written in PENG, a controlled natural language designed for knowledge representation. PENG can be used in contexts where precise texts (e.g. software specifications, axioms for formal ontologies, legal documents) need to be composed. Texts written in PENG look seemingly informal and are easy to write and to read for humans but have first-order equivalent properties that make these texts computer-processable.

UR - http://www.scopus.com/inward/record.url?scp=36348972215&partnerID=8YFLogxK

M3 - Conference proceeding contribution

AN - SCOPUS:36348972215

SN - 3540710086

SN - 9783540710080

VL - 3609 LNAI

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 416

EP - 426

BT - New Frontiers in Artificial Intelligence - JSAI 2003 and JSAI 2004 Conferences and Workshops, Revised Selected Papers

A2 - Sakurai, Akito

A2 - Hasida, Köiti

A2 - Nitta, Katsumi

PB - Springer, Springer Nature

CY - Berlin; Heidelberg

T2 - 17th and 18th Annual Conferences of the Japanese Society for Artificial Intelligence, (JSAI 2003 and JSAI 2004)

Y2 - 23 June 2003 through 27 June 2003

ER -

Schwitter R, Tilbrook M. Dynamic semantics at work. In Sakurai A, Hasida K, Nitta K, editors, New Frontiers in Artificial Intelligence - JSAI 2003 and JSAI 2004 Conferences and Workshops, Revised Selected Papers. Vol. 3609 LNAI. Berlin; Heidelberg: Springer, Springer Nature. 2007. p. 416-426. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Dynamic semantics at work

Abstract

Publication series

Other

Other files and links

Fingerprint

Cite this