Skip to main content Skip to main navigation


Formal Modelling for Cooking Assistance

Bernd Krieg-Brückner; Serge Autexier; Martin Rink; Sidoine Ghomsi Nokam
In: Rocco De Nicola; Rolf Hennicker (Hrsg.). Software, Services and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation. Pages 355-376, Lecture Notes in Computer Science (LNCS), Vol. 8950, Springer International Publishing Switzerland , 2015.


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.