Towards a general theory of action and time
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
Temporal ontology and temporal reference
Computational Linguistics - Special issue on tense and aspect
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Integrated process modeling: an ontological evaluation
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Conceptual Spaces: The Geometry of Thought
Conceptual Spaces: The Geometry of Thought
Towards Ontologically Based Semantics for UML Constructs
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
A reference ontology for biomedical informatics: the foundational model of anatomy
Journal of Biomedical Informatics - Special issue: Unified medical language system
Handbook of Temporal Reasoning in Artificial Intelligence (Foundations of Artificial Intelligence (Elsevier))
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Artificial Intelligence in Medicine
Computer-based Medical Guidelines and Protocols: A Primer and Current Trends
Computer-based Medical Guidelines and Protocols: A Primer and Current Trends
Modeling and Online Recognition of Surgical Phases Using Hidden Markov Models
MICCAI '08 Proceedings of the 11th International Conference on Medical Image Computing and Computer-Assisted Intervention, Part II
A boosted segmentation method for surgical workflow analysis
MICCAI'07 Proceedings of the 10th international conference on Medical image computing and computer-assisted intervention - Volume Part I
Unified Modeling Language Reference Manual
Unified Modeling Language Reference Manual
Artificial Intelligence
Recovery of surgical workflow without explicit models
MICCAI'06 Proceedings of the 9th international conference on Medical Image Computing and Computer-Assisted Intervention - Volume Part I
A meta-ontological architecture for foundational ontologies
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Acquisition of process descriptions from surgical interventions
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
Formalizing the specification and execution of workflows using the event calculus
Information Sciences: an International Journal
Similarity metrics for surgical process models
Artificial Intelligence in Medicine
Commentary: Clinical decision support: Converging toward an integrated architecture
Journal of Biomedical Informatics
Nesting the context for pervasive robotics
Proceedings of the 2012 ACM Conference on Ubiquitous Computing
Applied ontologies and standards for service robots
Robotics and Autonomous Systems
Hi-index | 0.00 |
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.