Digital Trust by DNV

Dr Dirk Walther

Principal Consultant Managing Information and Data Integration

Dr Dirk Walther's expertise significantly contributes to DNV's commitment to excellence in information modelling, ontologies and data interoperability.

About Dirk

Dr Walther has over 15 years of experience in information modelling and semantic technologies in industry, as well as in the investigation of problems in the areas of artificial intelligence and knowledge representation and reasoning in academia. In the role of Principal Consultant in DNV, he has advised several industry partners in the sectors oil & gas, energy and maritime in Norway and he has developed ontology information models and software prototypes. He was also the editor of the latest working draft of ISO 15926-14 and has contributed to the Part-14 upper ontology.

In his academic work, he investigated problems on formal reasoning with logics and ontologies. He has published numerous scientific articles in top-ranking international AI journals and conferences,  and has presented his work at international conferences and summer schools (Google Scholar: 1479 citations and h-index 17). One focus of his work lies on tackling the challenges in the development, maintenance and re-use of large-scale ontologies in the e-health domain such as Snomed CT, the Systematized Nomenclature of Medicine - Clinical Terms.

Contact us

Dr Dirk Walther

Principal Consultant Managing Information and Data Integration

Send email

Education

Field of expertise	University/School	Year
Field of expertise PhD Computer Science	University/School University of Liverpool, UK	Year May 2007
Field of expertise MSc Computational Logic	University/School Dresden Univesity of Technology, Germany	Year Feb 2004

Publications


"An Ontology-Based Approach for Simplified Fmu Variable Connections With Automatic Verification of Semantically Correct Configuration". Håvard Nordahl, Martin Rindarøy, Stian Skjong, Lars T. Kyllingstad, Dirk Walther, Tore Brekke. Proceedings of OMAE'20: the 39th International Conference on Ocean, Offshore & Arctic Engineering. Aug 2020 "Ontology Extraction for Large Ontologies via Modularity and Forgetting". Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, Yongsheng Gao. Proceedings of K-CAP'19: the 10th International Conference on Knowledge Capture, pages 45-52. ACM. Nov 2019 "Modularity meets forgetting: a case with the SNOMED CT ontology". Jieying Chen, Renate Schmidt, Yongcheng Gao, Ghadah Alghamdi, Dirk Walther. SNOMED CT Expo 2019, Kuala Lumpur, Oct 31-Nov 1. SNOMED International. Oct 2019 "Zooming in on Ontologies: Minimal Modules and Best Excerpts". Jieying Chen, Michel Ludwig, Yue Ma, and Dirk Walther. Proceedings of ISWC'17: the 17th International Semantic Web Conference, pages 173-189. Springer Verlag. Oct 2017 "Fast Modularisation and Atomic Decomposition of Ontologies using Axiom Dependency Hypergraphs". Francisco Martin-Recuerda and Dirk Walther. Proceedings of ISWC’14: the 13th International Semantic Web Conference, LNCS volume 8797, pages 49-64. Springer Verlag. Oct 2014 "Model-Theoretic Inseparability and Modularity of Description Logic Ontologies”. Boris Konev, Carsten Lutz, Dirk Walther and Frank Wolter. Artificial Intelligence Journal (AIJ), 203: 66-103. Elsevier. Oct 2013 "The Logical Difference for the Lightweight Description Logic EL". Boris Konev, Michael Ludwig, Dirk Walther and Frank Wolter. Journal of Artificial Intelligence Research (JAIR), 44: 633-708. Association for the Advancement of Artificial Intelligence (AAAI). May 2012 "Formal properties of modularization". Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. In Heiner Stuckenschmidt, Christine Parent and Stefano Spaccapietra (editors), LNCS volume on Ontology Modularization, volume 5445, pages 25-66. Springer. Jul 2009

"An Ontology-Based Approach for Simplified Fmu Variable Connections With Automatic Verification of Semantically Correct Configuration". Håvard Nordahl, Martin Rindarøy, Stian Skjong, Lars T. Kyllingstad, Dirk Walther, Tore Brekke. Proceedings of OMAE'20: the 39th International Conference on Ocean, Offshore & Arctic Engineering. Aug 2020

"Ontology Extraction for Large Ontologies via Modularity and Forgetting". Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, Yongsheng Gao. Proceedings of K-CAP'19: the 10th International Conference on Knowledge Capture, pages 45-52. ACM. Nov 2019

"Modularity meets forgetting: a case with the SNOMED CT ontology". Jieying Chen, Renate Schmidt, Yongcheng Gao, Ghadah Alghamdi, Dirk Walther. SNOMED CT Expo 2019, Kuala Lumpur, Oct 31-Nov 1. SNOMED International. Oct 2019

"Zooming in on Ontologies: Minimal Modules and Best Excerpts". Jieying Chen, Michel Ludwig, Yue Ma, and Dirk Walther. Proceedings of ISWC'17: the 17th International Semantic Web Conference, pages 173-189. Springer Verlag. Oct 2017

"Fast Modularisation and Atomic Decomposition of Ontologies using Axiom Dependency Hypergraphs". Francisco Martin-Recuerda and Dirk Walther. Proceedings of ISWC’14: the 13th International Semantic Web Conference, LNCS volume 8797, pages 49-64. Springer Verlag. Oct 2014

"Model-Theoretic Inseparability and Modularity of Description Logic Ontologies”. Boris Konev, Carsten Lutz, Dirk Walther and Frank Wolter. Artificial Intelligence Journal (AIJ), 203: 66-103. Elsevier. Oct 2013

"The Logical Difference for the Lightweight Description Logic EL". Boris Konev, Michael Ludwig, Dirk Walther and Frank Wolter. Journal of Artificial Intelligence Research (JAIR), 44: 633-708. Association for the Advancement of Artificial Intelligence (AAAI). May 2012

"Formal properties of modularization". Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. In Heiner Stuckenschmidt, Christine Parent and Stefano Spaccapietra (editors), LNCS volume on Ontology Modularization, volume 5445, pages 25-66. Springer. Jul 2009

Taking AI and other digital technologies from hype to real value

Receive insights and updates on Digital Trust articles, case studies, and invitations to webinars and events

Subscribe here