Dynamic semantics at work

Rolf Schwitter*, Marc Tilbrook

*Corresponding author for this work

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

1 Citation (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 languageEnglish
Title of host publicationNew Frontiers in Artificial Intelligence - JSAI 2003 and JSAI 2004 Conferences and Workshops, Revised Selected Papers
EditorsAkito Sakurai, Köiti Hasida, Katsumi Nitta
Place of PublicationBerlin; Heidelberg
PublisherSpringer, Springer Nature
Pages416-426
Number of pages11
Volume3609 LNAI
ISBN (Print)3540710086, 9783540710080
Publication statusPublished - 2007
Event17th and 18th Annual Conferences of the Japanese Society for Artificial Intelligence, (JSAI 2003 and JSAI 2004) - Niigata, Japan
Duration: 23 Jun 200327 Jun 2003

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3609 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other17th and 18th Annual Conferences of the Japanese Society for Artificial Intelligence, (JSAI 2003 and JSAI 2004)
CountryJapan
CityNiigata
Period23/06/0327/06/03

Fingerprint Dive into the research topics of 'Dynamic semantics at work'. Together they form a unique fingerprint.

Cite this