Skip to main content
SpringerLink
Log in

Interpreting Plurals in the Naproche CNL

  • Conference paper
Controlled Natural Language (CNL 2010)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7175))

Included in the following conference series:

  • 523 Accesses

Abstract

The Naproche CNL is a controlled natural language for mathematical texts. A recent addition to the Naproche CNL are plural statements. We discuss the collective-distributive ambiguity in the context of mathematical language, as well as pairwise interpretations of collective plurals. Additionally, we present a special scope ambiguity conjunctions give rise to. Finally, we describe an innovative plural interpretation algorithm implemented in Naproche for disambiguating plurals in DRT and giving them the interpretation that would normally be preferred in a mathematical context.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cohen, G.L.: Derived Sequences. Journal of Integer Sequences 6 (2003)

    Google Scholar 

  2. Cramer, M., Fisseni, B., Koepke, P., Kühlwein, D., Schröder, B., Veldman, J.: The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts. In: Fuchs, N.E. (ed.) CNL 2009 Workshop. LNCS (LNAI), vol. 5972, pp. 170–186. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  3. Egg, M.: Semantic underspecification. In: Maienborn, C., von Heusinger, K., Portner, P. (eds.) Semantics. HSK, vol. 33. De Gruyter Mouton (2011)

    Google Scholar 

  4. Johnson, M., Klein, E.: Discourse, anaphora and parsing. In: Proceedings of the 11th Coference on Computational linguistics (1986)

    Google Scholar 

  5. Kamp, H., Reyle, U.: From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language. Kluwer Academic Publisher (1993)

    Google Scholar 

  6. Link, G.: Plural. In: von Stechow, A., Wunderlich, D. (eds.) Semantics. HSK, vol. 6. de Gruyter (1991)

    Google Scholar 

  7. Paskevich, A.: The syntax and semantics of the ForTheL language (2007)

    Google Scholar 

  8. Schwertel, U.: Plural Semantics for Natural Language Understanding – A Computational Proof-Theoretic Approach. PhD thesis. University of Zurich (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Bonn, Germany

    Marcos Cramer & Bernhard Schröder

  2. University of Duisburg-Essen, Germany

    Marcos Cramer & Bernhard Schröder

Authors
  1. Marcos Cramer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernhard Schröder
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of Intelligent Computer Systems, University of Malta, Msida, Malta

    Michael Rosner

  2. Department of Informatics & Institute of Computational Linguistics, University of Zurich, Zurich, Switzerland

    Norbert E. Fuchs

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cramer, M., Schröder, B. (2012). Interpreting Plurals in the Naproche CNL. In: Rosner, M., Fuchs, N.E. (eds) Controlled Natural Language. CNL 2010. Lecture Notes in Computer Science(), vol 7175. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31175-8_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-31175-8_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-31174-1

  • Online ISBN: 978-3-642-31175-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation