Markus Krötzsch
Prof. Dr. Markus Krötzsch
Professor Knowledge-Based Systems
- markus.kroetzsch@tu-dresden.de
- Secretary: secretary_wbs@mailbox.tu-dresden.de
- Chat (Matrix ): @kroetzsc:tu-dresden.de
- +49 351 463 38486
- +49 351 463 37959
- APB 3033
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
Chasing Streams with Existential Rules
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), to appear
Details Download
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)
Proceedings of the 35th International Workshop on Description Logics (DL 2022), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details
Deciding Hyperproperties Combined with Functional Specifications
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022), to appear
Details
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces
Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), to appear
Details
Simulating Sets in Answer Set Programming
Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), to appear
Details Download
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
In Dana Fisman, Grigore Rosu, eds., Proc. of the 28th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), volume 13243 of LNCS, 480-501, 2022. Springer
Details Download
Expressivity of Planning with Horn Description Logic Ontologies
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), to appear
Details Download
Tuple-Generating Dependencies Capture Complex Values
In Dan Olteanu, Nils Vortmeier, eds., Proceedings of the 25th International Conference on Database Theory (ICDT 2022), volume 220 of LIPIcs, 13:1--13:20, March 2022. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Answering Queries with Negation over Existential Rules
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), to appear
Details Download
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
- Member of the Faculty Council Computer Science, TU Dresden (2022-2024)
- Member of the Program Committee Board of the International Joint Conference on Artificial Intelligence, IJCAI (2022-2024)
- Member of the program committee of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022)
- Member of the Steering Committee der International Conference on Web Reasoning and Rule Systems (RR)
- Coordinator Track "Logical Modeling" in the MSc program Computational Modeling and Simulation
- Study program coordinator Computational Logic
- President of the Open Semantic Data Association (OSDA)
- Tutorial & Workshop Chair, 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21)
- Member of Examination Board Bachelor Computer Science
Courses
- Database Theory (SS 2022)
- Research Seminar Logic and AI (SS 2022)
- Complexity Theory (WS 2021)
- Knowledge Graphs (WS 2021)
- Research Seminar Logic and AI (WS 2021)
show further courses
Student projects
Completed Theses
- Reliance-Based Optimization of Existential Rule Reasoning
- by Alex Ivliev (9 Dezember 2021)
- Supervisor: Markus Krötzsch
- Chase-Based Computation of Cores for Existential Rules
- by Lukas Gerlach (29 August 2021)
- Supervisor: Markus Krötzsch
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies
- by Lukas Gerlach (31 März 2021)
- Supervisor: Markus Krötzsch, David Carral
- Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules
- by Lukas Gerlach (30 September 2020)
- Supervisor: Markus Krötzsch, David Carral
- Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata
- by Serghei Stratan (7 März 2016)
- Supervisor: Markus Krötzsch
- Visualization of spacio-temporal data from Wikidata
- by Georg Wild (4 September 2014)
- Supervisor: Markus Krötzsch
cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN
CPEC
Center for Perspicuous Computing
InnoSale
Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence
SECAI
School of Embedded Composite Artificial Intelligence
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence
Semantic MediaWiki
Popular open-source software for collaborative data management
VLog
A fast, highly scalable rule engine for existential rules and Datalog.
Wikidata
Wikipedia's free, collaborative knowledge base
Wikidata SPARQL Logs
Access logs from the Wikidata SPARQL Query Service