Dynamic Semantics at Work

  • Rolf Schwitter
  • Marc Tilbrook
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3609)


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.


Noun Phrase Semantic Information Content Word Compound Word Dynamic Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Berners-Lee, T.: Notation 3. An RDF language for the Semantic Web. Version 1.49 (2001),
  2. 2.
    Black, A.W.: Some Different Approaches to DRT. Draft. Centre for Cognitive Science, University of Edinburgh, June 27 (1997)Google Scholar
  3. 3.
    Hobbs, J.R.: Discourse and Inference. Draft. USC Information Science Institute, Marina del Rey, California, November 3 (2003)Google Scholar
  4. 4.
    Huijsen, W.O.: Controlled Language - An Introduction. In: Proceedings of CLAW 1998, Pittsburgh, pp. 1–15 (1998)Google Scholar
  5. 5.
    Johnson, M., Klein, E.: Discourse, anaphora and parsing. In: Proceedings of the 11th International Conference on Computational Linguistics, Coling 86, Bonn, pp. 669–675 (1986)Google Scholar
  6. 6.
    Kamp, H.: A theory of truth and semantic representation. In: Groenendijk, J., et al. (eds.) Formal methods in the study of language, pp. 277–322. University of Amsterdam (1981)Google Scholar
  7. 7.
    Kamp, H., Reyle, U.: From Discourse to Logic. Kluwer, Dordrecht (1993)Google Scholar
  8. 8.
    McCune, W.: MACE 2.0 Reference Manual and Guide. ANL/MCS-TM-249. Mathematics and Computer Science Division, Technical Memorandum No. 249, Argonne National Laboratory, Argonne (2001)Google Scholar
  9. 9.
    McCune, W.: OTTER 3.3 Reference Manual. ANL/MCS-TM-263, Mathematics and Computer Science Division, Technical Memorandum No. 263, Argonne National Laboratory, Argonne (2003)Google Scholar
  10. 10.
    Schwertel, U.: Plural Semantics for Natural Language Understanding. A Computational Proof-Theoretic Approach. PhD Thesis, University of Zurich (2003)Google Scholar
  11. 11.
    Schwitter, R.: English as a Formal Specification Language. In: Hameurlain, A., Cicchetti, R., Traunmüller, R. (eds.) DEXA 2002. LNCS, vol. 2453, pp. 228–232. Springer, Heidelberg (2002)Google Scholar
  12. 12.
    Schwitter, R., Ljungberg, A., Hood, D.: ECOLE: A Look-ahead Editor for a Controlled Language. In: Proceedings of EAMT-CLAW03, Controlled Language Translation, Dublin City University, May 15-17, pp. 141–150 (2003)Google Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Rolf Schwitter
    • 1
  • Marc Tilbrook
    • 1
  1. 1.Centre for Language Technology, Macquarie University, Sydney, NSW 2109Australia

Personalised recommendations