Skip to main content
SpringerLink
Log in

Speaking About Wine: Another Case Study in Bridging the Gap Between Formal and Informal Knowledge

  • Chapter
  • First Online:
The Logic of Software. A Tasting Menu of Formal Methods

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13360))

  • 686 Accesses

Abstract

This paper presents WineSpeak, a system that uses controlled natural language for translation and information retrieval about the topic of wine. WineSpeakcombines some recent work on natural language interfaces to databases with other recent work on information extraction from heterogeneous sources. It supports database queries about wine in natural language, as well as the translation of questions, comments, and short articles about wine in human-to-human communication. WineSpeakwill be available in English, German, French, Italian, and Spanish, but also readily portable to other languages via the use of Grammatical Framework and its Resource Grammar Library (The system will be released in connection to the publication of this volume at https://www.grammaticalframework.org/gf-winespeak/. The final name of the system can be different, to avoid confusion with other similar names).

To Reiner, my elder brother in wine and in science.

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 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

Notes

  1. 1.

    https://www.vivino.com/.

  2. 2.

    It also makes sense to store the original free text comments, in particular, if they have typos or are otherwise not fully covered by the grammar.

References

  1. Angelov, K., Enache, R.: Typeful ontologies with direct multilingual verbalization. In: Rosner, M., Fuchs, N.E. (eds.) CNL 2010. LNCS (LNAI), vol. 7175, pp. 1–20. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31175-8_1

    Chapter  Google Scholar 

  2. Beckert, B., Hähnle, R., Schmitt, P.H. (eds.): Verification of Object-Oriented Software. The KeY Approach. LNCS (LNAI), vol. 4334. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-69061-0

    Book  Google Scholar 

  3. Dannélls, D., Damova, M., Enache, R., Chechev, M.: Multilingual online generation from semantic web ontologies. In: Proceedings of the 21st International Conference on World Wide Web, pp. 239–242. ACM (2012)

    Google Scholar 

  4. Davallius, D.: Natural-SQL translator a general natural language interface to SQL using the grammatical framework programming language. Master’s thesis, Chalmers University of Technology, Gothenburg, Sweden (2021). https://odr.chalmers.se/handle/20.500.12380/303909

  5. Davis, B., Enache, R., van Grondelle, J., Pretorius, L.: Multilingual verbalisation of modular ontologies using GF and lemon. In: Kuhn, T., Fuchs, N.E. (eds.) CNL 2012. LNCS (LNAI), vol. 7427, pp. 167–184. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-32612-7_12

    Chapter  Google Scholar 

  6. Hähnle, R., Johannisson, K., Ranta, A.: An authoring tool for informal and formal requirements specifications. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 233–248. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45923-5_16

    Chapter  Google Scholar 

  7. Johnson, H.: The Story of Wine: From Noah to Now. Academie du Vin Library, Ascot, Berkshire (1989)

    Google Scholar 

  8. Masciolini, A., Ranta, A.: Grammar-based concept alignment for domain-specific machine translation. In: Proceedings of the Seventh International Workshop on Controlled Natural Language (CNL 2020/21) (2021). https://aclanthology.org/2021.cnl-1.2.pdf

  9. Bostock, J., Riley, H.T.: Pliny the Elder: The Natural History of Pliny, vol. III. H. G. Bohn, London (1855). https://www.gutenberg.org/files/59131/59131-h/59131-h.htm

  10. Ranta, A.: The GF resource grammar library. Linguistic Issues in Language Technology 2 (2009)

    Google Scholar 

  11. Ranta, A.: Grammatical Framework: Programming with Multilingual Grammars. CSLI Publications, Stanford (2011)

    Google Scholar 

  12. Ranta, A.: Translating between language and logic: what is easy and what is difficult. In: Bjørner, N., Sofronie-Stokkermans, V. (eds.) Automated Deduction - CADE-23, pp. 5–25. Springer, Berlin Heidelberg (2011)

    Chapter  Google Scholar 

  13. Vrandečić, D.: Building a multilingual wikipedia, 64(4), 38–41 (2021). https://cacm.acm.org/magazines/2021/4/251343-building-a-multilingual-wikipedia/fulltext

  14. Vrandečić, D., Krötzsch, M.: Wikidata: a free collaborative knowledgebase. Commun. ACM 57(10), 78–85 (2014). https://doi.org/10.1145/2629489

    Article  Google Scholar 

  15. Woods, W.A.: Progress in natural language understanding: an application to lunar geology. In: Proceedings of the June 4–8, 1973, National Computer Conference and Exposition, pp. 441–450. AFIPS 1973, ACM (1973)

    Google Scholar 

Download references

Acknowledgements

I am grateful to the editors for their cooperative spirit and to the anonymous referees for insightful suggestions.

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden

    Aarne Ranta

Authors
  1. Aarne Ranta
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Aarne Ranta .

Editor information

Editors and Affiliations

  1. Chalmers University of Technology, Gothenburg, Sweden

    Wolfgang Ahrendt

  2. Karlsruhe Institute of Technology, Karlsruhe, Germany

    Bernhard Beckert

  3. TU Darmstadt, Darmstadt, Germany

    Richard Bubel

  4. University of Oslo, Oslo, Norway

    Einar Broch Johnsen

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Ranta, A. (2022). Speaking About Wine: Another Case Study in Bridging the Gap Between Formal and Informal Knowledge. In: Ahrendt, W., Beckert, B., Bubel, R., Johnsen, E.B. (eds) The Logic of Software. A Tasting Menu of Formal Methods. Lecture Notes in Computer Science, vol 13360. Springer, Cham. https://doi.org/10.1007/978-3-031-08166-8_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-08166-8_19

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-08165-1

  • Online ISBN: 978-3-031-08166-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation