Markus Krötzsch

From International Center for Computational Logic

Prof. Dr. Markus Krötzsch

ProfessorTechnische Universität DresdenInternational Center for Computational Logic Knowledge-Based Systems

I am professor for Knowledge-Based Systems at the Institute for Theoretical Computer Science of the Faculty of Computer Science at TU Dresden. The professorship is also part of TUD's Center for Advancing Electronics. My scientific interests are, broadly speaking, in the area of intelligent knowledge management systems. I have made contributions to lightweight and rule-based ontology languages, query answering, reasoning complexity, and content management and integration platforms for the Web of Data. This has led to many publications, but also to introductory texts (including two textbooks) and other teaching materials. I also co-edited the W3C Web Ontology Language standard OWL 2.

My most important applied work at the moment is Wikidata. Other projects I have contributed to include the semantic content management system Semantic MediaWiki and the highly efficient ELK ontology reasoner. Behind each of these projects are a number of truly outstanding people with whom I have had (and still have) the pleasure to work.

Newest Publications

View full publication list

Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine
In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni, eds., Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333--335, September 2023
Details Download
Denny Vrandečić, Lydia Pintscher, Markus Krötzsch
Wikidata: The Making Of
In Ying Ding, Jie Tang, Juan F. Sequeda, Lora Aroyo,Carlos Castillo, Geert-Jan Houben, eds., Companion Proceedings of the ACM Web Conference 2023 (WWW'23), 615--624, 2023. ACM
Details Download
Larry Gonzalez, Alex Ivliev, Stephan Mennicke, Markus Krötzsch
Efficient Dependency Analysis for Existential Rules
In Benny Kimelfeld, Maria Vanina Martinez, Renzo Angles, eds., Proceedings of the 15th Alberto Meldenzon International Workshop on Foundations of Data Management (AMW'23). Santiago, Chile, volume 3409 of CEUR Workshop Proceedings, 2023. CEUR-WS.org
Details Download
Ali Elhalawati, Markus Krötzsch, Stephan Mennicke
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
In Guido Governatori, Anni-Yasmin Turhan, eds., Proceddings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, 146--163, 2022. Springer
Details Download
Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
Efficient Dependency Analysis for Rule-Based Ontologies
In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato, eds., Proc. 21st International Semantic Web Conference (ISWC 2022), volume 13489 of LNCS, 267-283, October 2022. Springer
Details Download
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Answering Queries with Negation over Existential Rules
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5626-5633, 2022. AAAI Press
Details Download
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)
In Ofer Arieli, Martin Homola,Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), volume 3263 of CEUR Workshop Proceedings, 2022. CEUR-WS.org
Details Download
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5503--5511, 2022. AAAI Press
Details Download
Jacopo Urbani, Markus Krötzsch, Thomas Eiter
Chasing Streams with Existential Rules
In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, eds., Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), 2022
Details Download
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
Deciding Hyperproperties Combined with Functional Specifications
In Christel Baier and Dana Fisman, eds., Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022), 56:1--56:13, 2022. ACM
Details Download
View full publication list

Courses

Student projects


Completed Theses

Cfaed-logo.png

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

CPEC-logo.png

CPEC
Center for Perspicuous Computing

InnoSale Logo original.png

InnoSale
Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence

KIMEDS.jpg

KIMEDS
AI Assisted Certification of Medical Software

Nemo
A fast, scalable, and reliable rule engine

SECAI-SQUARE-SHORT.pdf

SECAI
School of Embedded Composite Artificial Intelligence

Scads-logo.png

ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence

Semantic MediaWiki logo.png

Semantic MediaWiki
Popular open-source software for collaborative data management

Wikidata-logo-en.svg

Wikidata
Wikipedia's free, collaborative knowledge base

Wikidata-sparql-logo-png.png

Wikidata SPARQL Logs
Access logs from the Wikidata SPARQL Query Service