Formal Modelling for Cooking Assistance

  • Bernd Krieg-Brückner
  • Serge Autexier
  • Martin Rink
  • Sidoine Ghomsi Nokam
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8950)


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.


Domain Ontology Linear Temporal Logic Restricted Diet Ontological State Cooking Process 
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.
  2. 2.
    DOLCE - Descriptive Ontology for Linguistic and Cognitive Engineering,
  3. 3.
    DUL - DOLCE+DnS Ultralite ontology - Ontology Design Patterns (ODP),
  4. 4.
    EuroFIR AISBL,
  5. 5.
    LanguaL — the International Framework for Food Description,
  6. 6.
    OWL Web Ontology Language - Use Cases and Requirements - W3C Recommendation 10 February 2004,
  7. 7.
    QUDT - Quantities, Units, Dimensions and Data Types Ontologies,
  8. 8.
    WikiFood – Knowing what’s inside,
  9. 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. 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)CrossRefGoogle Scholar
  11. 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. 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)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 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. 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)CrossRefGoogle Scholar
  15. 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)CrossRefGoogle Scholar
  16. 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. 17.
    Becker, W.: Towards a CEN Standard on Food Data. European Journal of Clinical Nutrition 64, S49–S52 (2010)Google Scholar
  18. 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)CrossRefGoogle Scholar
  19. 19.
    Caviezel, R., Vilgis, T.A.: Foodpairing — Harmonie und Kontrast. FONA (2012)Google Scholar
  20. 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. 21.
    Ireland, J., Møller, A.: What’s new in LanguaL? Procedia Food Science 2, 117–121 (2013)CrossRefGoogle Scholar
  22. 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)CrossRefGoogle Scholar
  23. 23.
    Kolloge, P.: Modelling Dietary Restrictions. Master’s thesis, Universität Bremen (in preparation) (in German)Google Scholar
  24. 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. 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. 26.
    Lo, K.: Chinese Cooking and Eating for Health. Mayflower Granada Publ. (1979)Google Scholar
  27. 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)CrossRefGoogle Scholar
  28. 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. 29.
    Pennington, J.A., Butrum, R.R.: Food descriptions using taxonomy and the LanguaL system. Trends in Food Science & Technology 2, 285–288 (1991)CrossRefGoogle Scholar
  30. 30.
    Rink, M.: Ontology Based Product Configuration Based on User Requirements. Master’s thesis, Universität Bremen (in preparation)Google Scholar
  31. 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. 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

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Bernd Krieg-Brückner
    • 1
  • Serge Autexier
    • 1
  • Martin Rink
    • 1
  • Sidoine Ghomsi Nokam
    • 1
  1. 1.German Research Center for Artificial IntelligenceDFKI and Universität BremenGermany

Personalised recommendations