Skip to main content

Formal Modelling for Cooking Assistance

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8950))

Abstract

Structured ontologies, with various facets of abstraction, are used to model food, ingredients, recipes, cookware and workflows. They form the uniform knowledge base for modular software assistants. Processes and monitors supervise the cooking process and advise the user.

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

Buying options

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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barcoo, www.barcoo.com

  2. DOLCE - Descriptive Ontology for Linguistic and Cognitive Engineering, www.loa.istc.cnr.it/old/DOLCE.html

  3. DUL - DOLCE+DnS Ultralite ontology - Ontology Design Patterns (ODP), www.ontologydesignpatterns.org/ont/dul/

  4. EuroFIR AISBL, www.eurofir.org

  5. LanguaL — the International Framework for Food Description, www.langual.org

  6. OWL Web Ontology Language - Use Cases and Requirements - W3C Recommendation 10 February 2004, www.w3.org/TR/2004/REC-webont-req-20040210/

  7. QUDT - Quantities, Units, Dimensions and Data Types Ontologies, www.qudt.org/

  8. WikiFood – Knowing what’s inside, www.wikifood.eu/wikifood/struts/welcome.do

  9. Ahn, Y.-Y., Ahnert, S.E., Bagrow, J.P., Barabási, A.-L.: Flavor network and the principles of food pairing. Scientific Reports 1, 196 (January 2011)

    Google Scholar 

  10. Arens, A., Schnadt, S., Feidert, F., Mösges, R., Roesch, N., Herbst, R.: Preferences and satisfaction of food allergy sufferers using internet resources. Clinical and Translational Allergy 3(3), 126 (2013)

    Article  Google Scholar 

  11. Arens-Volland, A., Roesch, N., Feidert, F., Harpes, P., Mösges, R.: Change frequency of ingredient descriptions and free-of labels of food items concern food allergy sufferers. Allergy (European Journal of Allergy and Clinical Immunology) 65, 92 (2010)

    Google Scholar 

  12. Astesiano, E., Bidoit, M., Krieg-Brückner, B., Kirchner, H., Mosses, P.D., Sannella, D., Tarlecki, A.: CASL - the Common Algebraic Specification Language. Theoretical Computer Science 286, 153–196 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  13. Autexier, S., Hutter, D.: Constructive DL update and reasoning for modeling and executing the orchestration of heterogenous processes. In: Eiter, T., Glimm, B., Kazakov, Y., Krötzsch, M. (eds.) Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, vol. 1014, pp. 501–512. Technical University of Aachen (RWTH) (July 2013)

    Google Scholar 

  14. Autexier, S., Hutter, D., Mandel, C., Stahl, C.: SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab. In: Augusto, J.C., Wichert, R., Collier, R., Keyson, D., Salah, A.A., Tan, A.-H. (eds.) AmI 2013. LNCS, vol. 8309, pp. 269–274. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  15. Autexier, S., Hutter, D., Stahl, C.: An Implementation, Execution and Simulation Platform for Processes in Heterogeneous Smart Environments. In: Augusto, J.C., Wichert, R., Collier, R., Keyson, D., Salah, A.A., Tan, A.-H. (eds.) AmI 2013. LNCS, vol. 8309, pp. 3–18. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  16. Bateman, J.A., Castro, A., Normann, I., Pera, O., Garcia, L., Villaveces, J.-M.: OASIS Common hyper-ontological framework (COF). EU FP7 Project OASIS – Open architecture for Accessible Services Integration and Standardization Deliverable D1.2.1. Bremen University, Bremen (January 2010)

    Google Scholar 

  17. Becker, W.: Towards a CEN Standard on Food Data. European Journal of Clinical Nutrition 64, S49–S52 (2010)

    Google Scholar 

  18. Burgos, M., Martínez-Victoria, I., Milá, R., Farrán, A., Farré, R., Ros, G., Yago, M., Audi, N., Santana, C., Millán, L., et al.: Building a unified Spanish food database according to EuroFIR specifications. Food Chemistry 113(3), 784–788 (2009)

    Article  Google Scholar 

  19. Caviezel, R., Vilgis, T.A.: Foodpairing — Harmonie und Kontrast. FONA (2012)

    Google Scholar 

  20. Ghomsi Nokam, S.: A Food Ontology for the Assistance of Shopping and Cooking. Master’s thesis, Universität Bremen (in preparation) (in German)

    Google Scholar 

  21. Ireland, J., Møller, A.: What’s new in LanguaL? Procedia Food Science 2, 117–121 (2013)

    Article  Google Scholar 

  22. Ireland, J.D., Møller, A.: Review of international food classification and description. Journal of Food Composition and Analysis 13(4), 529–538 (2000)

    Article  Google Scholar 

  23. Kolloge, P.: Modelling Dietary Restrictions. Master’s thesis, Universität Bremen (in preparation) (in German)

    Google Scholar 

  24. Kozha, D.: Shopping Assistance from the Kitchen Cabinet to the Supermarket Shelf. Master’s thesis, Universität Bremen (in preparation) (in German)

    Google Scholar 

  25. Kutz, O., Mossakowski, T., Lücke, D.: Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. Logica Universalis 4(2), 255–333 (2010), Special Issue on ‘Is Logic Universal?’

    Google Scholar 

  26. Lo, K.: Chinese Cooking and Eating for Health. Mayflower Granada Publ. (1979)

    Google Scholar 

  27. Møller, A., Unwin, I.D., Becker, W., Ireland, J.: EuroFIR’s food databank systems for nutrients and bioactives. Trends in Food Science & Technology 18(8), 428–433 (2007)

    Article  Google Scholar 

  28. Mossakowski, T., Kutz, O., Codescu, M., Lange, C.: The distributed ontology, modeling and specification language. In: Vescovo, C.D., Hahmann, T., Pearce, D., Walther, D. (eds.) WoMo 2013. CEUR-WS online proceedings, vol. 1081 (2013)

    Google Scholar 

  29. Pennington, J.A., Butrum, R.R.: Food descriptions using taxonomy and the LanguaL system. Trends in Food Science & Technology 2, 285–288 (1991)

    Article  Google Scholar 

  30. Rink, M.: Ontology Based Product Configuration Based on User Requirements. Master’s thesis, Universität Bremen (in preparation)

    Google Scholar 

  31. Roesch, N., Arens, A., Feidert, F., Herbst, R., Mösges, R.: Computerised identification of allergens in food ingredient descriptions. Allergy: European Journal of Allergy and Clinical Immunology 64, 363–364 (2009)

    Google Scholar 

  32. Snae, C., Bruckner, M.: Foods: a food-oriented ontology-driven system. In: 2nd IEEE International Conference on Digital Ecosystems and Technologies, DEST 2008, pp. 168–176. IEEE (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Krieg-Brückner, B., Autexier, S., Rink, M., Ghomsi Nokam, S. (2015). Formal Modelling for Cooking Assistance. In: De Nicola, R., Hennicker, R. (eds) Software, Services, and Systems. Lecture Notes in Computer Science, vol 8950. Springer, Cham. https://doi.org/10.1007/978-3-319-15545-6_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-15545-6_22

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-15544-9

  • Online ISBN: 978-3-319-15545-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics