Dayana Neumuth1, Frank Loebe, Heinrich Herre, Thomas Neumuth. 1. Innovation Center Computer Assisted Surgery (ICCAS), Medical Faculty, Universität Leipzig, Semmelweisstr. 14, 04275 Leipzig, Germany. dayana.neumuth@iccas.de
Abstract
MOTIVATION: The precise and formal specification of surgical interventions is a necessary requirement for many applications in surgery, including teaching and learning, quality assessment and evaluation, and computer-assisted surgery. Currently, surgical processes are modeled by following various approaches. This diversity lacks a commonly agreed-upon conceptual foundation and thus impedes the comparability, the interoperability, and the uniform interpretation of process data. OBJECTIVE: However, it would be beneficial if scientific models, in the same context, shared a coherent conceptual and formal mathematical basis. Such a uniform foundation would simplify the acquisition and exchange of data, the transition and interpretation of study results, and the transfer and adaptation of methods and tools. Therefore, we propose a generic, formal framework for specifying surgical processes, which is presented together with its design methodology. METHODS: The methodology follows a four-level translational approach and comprises an ontological foundation for the formal level that orients itself by linguistic theories. RESULTS: A unifying framework for modeling surgical processes that is ontologically founded and formally and mathematically precise was developed. The expressive power and the unifying capacity of the presented framework are demonstrated by applying it to four contemporary approaches for surgical process modeling by using the common underlying formalization. CONCLUSIONS: The presented four-level approach allows for capturing the knowledge of the surgical intervention formally. Natural language terms are consistently translated to an implementation level to support research fields where users express their expert knowledge about processes in natural language, but, in contrast to this, statistical analysis or data mining need to be performed based on mathematically formalized data sets. The availability of such a translational approach is a valuable extension for research regarding the operating room of the future.
MOTIVATION: The precise and formal specification of surgical interventions is a necessary requirement for many applications in surgery, including teaching and learning, quality assessment and evaluation, and computer-assisted surgery. Currently, surgical processes are modeled by following various approaches. This diversity lacks a commonly agreed-upon conceptual foundation and thus impedes the comparability, the interoperability, and the uniform interpretation of process data. OBJECTIVE: However, it would be beneficial if scientific models, in the same context, shared a coherent conceptual and formal mathematical basis. Such a uniform foundation would simplify the acquisition and exchange of data, the transition and interpretation of study results, and the transfer and adaptation of methods and tools. Therefore, we propose a generic, formal framework for specifying surgical processes, which is presented together with its design methodology. METHODS: The methodology follows a four-level translational approach and comprises an ontological foundation for the formal level that orients itself by linguistic theories. RESULTS: A unifying framework for modeling surgical processes that is ontologically founded and formally and mathematically precise was developed. The expressive power and the unifying capacity of the presented framework are demonstrated by applying it to four contemporary approaches for surgical process modeling by using the common underlying formalization. CONCLUSIONS: The presented four-level approach allows for capturing the knowledge of the surgical intervention formally. Natural language terms are consistently translated to an implementation level to support research fields where users express their expert knowledge about processes in natural language, but, in contrast to this, statistical analysis or data mining need to be performed based on mathematically formalized data sets. The availability of such a translational approach is a valuable extension for research regarding the operating room of the future.
Authors: Bernard Gibaud; Germain Forestier; Carolin Feldmann; Giancarlo Ferrigno; Paulo Gonçalves; Tamás Haidegger; Chantal Julliard; Darko Katić; Hannes Kenngott; Lena Maier-Hein; Keno März; Elena de Momi; Dénes Ákos Nagy; Hirenkumar Nakawala; Juliane Neumann; Thomas Neumuth; Javier Rojas Balderrama; Stefanie Speidel; Martin Wagner; Pierre Jannin Journal: Int J Comput Assist Radiol Surg Date: 2018-07-13 Impact factor: 2.924
Authors: Ricardo Lira; Juan Salas-Morales; Luis Leiva; Rene de la Fuente; Ricardo Fuentes; Alejandro Delfino; Claudia Hurtado Nazal; Marcos Sepúlveda; Michael Arias; Valeria Herskovic; Jorge Munoz-Gama Journal: Int J Environ Res Public Health Date: 2019-05-28 Impact factor: 3.390