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

Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem, eds., Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), 141--150, 2021
Details Download
Lukas Gerlach, David Carral, Markus Krötzsch
Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies
Project Thesis, TU Dresden, March 2021
Details Download
Lukas Gerlach, Markus Krötzsch
Chase-Based Computation of Cores for Existential Rules
Diploma Thesis, TU Dresden, September 2021
Details Download
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
In Boris Konev, Giles Reger, eds., Proc. of the 13th Int. Symp. on Frontiers of Combining Systems (FROCOS 2021), volume 12941 of LNCS, 3-24, 2021. Springer
Details Download
Tomáš Masopust, Markus Krötzsch
Partially Ordered Automata and Piecewise Testability
Logical Methods in Computer Science, 17(2), 2021
Details Download
Lukas Gerlach, David Carral, Markus Krötzsch
Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules
Project Thesis, TU Dresden, September 2020
Details Download
David Carral, Markus Krötzsch
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules
In Christian Bessiere, eds., Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020, 1777-1783, 2020.
Details Download
David Carral, Irina Dragoste, Markus Krötzsch
Reasoner = Logical Calculus + Rule Engine
KI, 2020
David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)
David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 24th European Conference on Artificial Intelligence (ECAI 2020)
View full publication list


Student projects

Completed Theses




Center for Perspicuous Computing


Data Integration and Access by Merging Ontologies and Databases


Center for Scalable Data Analytics and Artificial Intelligence

Semantic MediaWiki logo.png

Semantic MediaWiki
Popular open-source software for collaborative data management

A fast, highly scalable rule engine for existential rules and Datalog.


Wikipedia's free, collaborative knowledge base


Wikidata SPARQL Logs
Access logs from the Wikidata SPARQL Query Service