Prof. Dr. Markus Krötzsch

Professor Wissensbasierte Systeme

markus.kroetzsch@tu-dresden.de
Sekretariat: secretary_wbs@mailbox.tu-dresden.de
Chat (Matrix ): @kroetzsc:tu-dresden.de
+49 351 463 38486
APB 3033
Sprechstunde für Studierende: Do, 8:30 – 9:30 Uhr

Ich leite die Professur für Wissensbasierte Systeme am Institut für Theoretische Informatik der Fakultät für Informatik der Technischen Universität Dresden. Meine Forschungsinteressen liegen ganz allgemein im Bereich Intelligente Informationssysteme. Konkrete Beiträge geleistet habe ich zum Beispiel zu leichtgewichtigen und regelbasierten Ontologiesprachen, zur Abfragebeantwortung, zur Komplexität logischen Schließens und zu Content Management und Datenintegration im Web of Data. Daraus entstanden eine Reihe von Publikationen aber auch verschiedene einführende Texte (darunter zwei Lehrbücher) sowie verschiedene weitere Lehrmaterialien. Ich bin außerdem Mitherausgeber des W3C-Standards der Web Ontology Language OWL 2.

Diese Forschung hat auch zu einigen angewandten Ergebnissen und Systeme geführt, z.B.

Nemo, ein System zum regelbasierten Schließen auf Wissensgraphen
Wikidata, der zurzeit größte freie Wissensgraph für allgemeine enzyklopädische Informationen
Semantic MediaWiki (inzwischen ein erfolgreiches freies Softwareprojekt mit eigenem Ökosystem)
ELK, der schnelle Ontologiereasoner für den Sprachstandard OWL EL

In jedem dieser Projekte hatte ich Gelegenheit, mit hervorragenden Kollegen zusammenzuarbeiten.

Studierende, die sich auf eine Stelle an meiner Professur bewerben wollen, sollten erst diese Hinweise zu Bewerbungen (englisch) lesen.

Neueste Publikationen

Komplette Publikationsliste anzeigen

Alex Ivliev, Markus Krötzsch, Maximilian Marx
SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs (Extended Abstract)
In Marco Calautti, Matthias Lanzinger, eds., Proceedings of the 6th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2026), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download

Nils Küchenmeister, Alex Ivliev, Dörthe Arndt, Markus Krötzsch
Stratified Negation in RDF Rules: A Correct Approach
In Manolis Koubarakis, Maria-Esther Vidal, Axel Polleres, Marieke van Erp, Ernesto Jimenez Ruiz, Oshani Seneviratne, Lora Aroyo, Gianluca Demartini, Reham Alharbi, Roberto Barile, Claudia d'Amato, Valentina Tamma, eds., Proceedings of the 25th International Semantic Web Conference (ISWC 2026), to appear. Springer
Details Download

Julián Méndez, Lukas Gerlach, Tobias Wieland, Alex Ivliev, Markus Krötzsch, Raimund Dachselt
Evaluating a Visual Query Tracer and Builder for Learning Declarative Logic Programming
VIS 2026, to appear
Details Download

Alex Ivliev, Markus Krötzsch, Maximilian Marx
Recovering Explanations from Transformed Rule-Based Ontologies
In Manolis Koubarakis, Maria-Esther Vidal, Axel Polleres, Marieke van Erp, Ernesto Jimenez Ruiz, Oshani Seneviratne, Lora Aroyo, Gianluca Demartini, Reham Alharbi, Roberto Barile, Claudia d'Amato, And Valentina Tamma, eds., Proceedings of the 25th International Semantic Web Conference (ISWC 2026), to appear
Details Download

Alex Ivliev, Markus Krötzsch, Maximilian Marx
SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs
In Maribel Acosta, Marieke van Erp, Sebastian Rudolph, Olaf Hartig, Blerina Spahiu, Anisa Rula, Daniel Garijo, Francesco Osborne, eds., Proceedings of the 23rd European Semantic Web Conference (ESWC 2026), Part I, volume 16549 of LNCS, 518-536, 2026. Springer
Details Download

Raimund Dachselt, Lukas Gerlach, Philipp Hanisch, Alex Ivliev, Markus Krötzsch, Maximilian Marx, Julián Méndez
Nemo at v0.10: Explainable Web Rule Reasoning for RDF, SPARQL, and More
In Maribel Acosta, Marieke van Erp, Sebastian Rudolph, Olaf Hartig, Blerina Spahiu, Anisa Rula, Daniel Garijo, Francesco Osborne, eds., Supplementary Proceedings of the 23rd European Semantic Web Conference (ESWC 2026), LNCS, to appear. Springer
Details Download

Raimund Dachselt, Lukas Gerlach, Philipp Hanisch, Alex Ivliev, Markus Krötzsch, Maximilian Marx, Julián Méndez
Declarative Debugging for Datalog with Aggregation
In Alexander Krause, João Felipe Pimentel, eds., Proceedings of the Workshops of the EDBT/ICDT 2026 Joint Conference (EDBT/ICDT-WS 2026), Tampere, Finland, March 24, 2026, volume 4192 of CEUR Workshop Proceedings, 2026. CEUR-WS.org
Details Download

Philipp Hanisch, Markus Krötzsch
Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
In Balder ten Cate, Maurice Funk, eds., Proceedings of the 29th International Conference on Database Theory, volume 365 of LIPIcs, 2026. Dagstuhl Publishing
Details Download

Nils Küchenmeister, Alex Ivliev, Markus Krötzsch
Towards Mass Spectrum Analysis with ASP
Theory and Practice of Logic Programming, February 2026
Details Download

Piotr Gorczyca, Dörthe Arndt, Martin Diller, Jochen Hampe, Georg Heidenreich, Pascal Kettmann, Markus Krötzsch, Stephan Mennicke, Sebastian Rudolph, Hannes Straß
Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes
Proceedings of the 21st International Conference on Semantic Systems (SEMANTiCS 2025), 226 - 246, September 2025
Details Download

Komplette Publikationsliste anzeigen