Markus Krötzsch
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
- +49 351 463 37959
- APB 3033
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, welche gleichzeitig dem Center for Advancing Electronics der TUD zugeordnet ist. 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.
Meine zurzeit wichtigste angewandte Arbeit ist Wikidata. Weitere Projekte, an denen ich beteiligt war, sind das semantische Content Management System Semantic MediaWiki und der hocheffiziente Ontologiereasoner ELK. In jedem dieser Projekte hatte ich Gelegenheit, mit hervorragenden Kollegen zusammenzuarbeiten.
Neueste Publikationen
Komplette Publikationsliste anzeigen
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
Chasing Streams with Existential Rules
Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence, to appear
Details Download
Deciding Hyperproperties Combined with Functional Specifications
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022), to appear
Details
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
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
Partially Ordered Automata and Piecewise Testability
Logical Methods in Computer Science, 17(2), 2021
Details Download
- Mitglied des Program Committee Boards der International Joint Conference on Artificial Intelligence, IJCAI (2022-2024)
- Mitglied im Fakultätsrat Informatik, TU Dresden (2022-2024)
- Mitglied des Programmkomitees der 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022)
- Mitglied im Steering Committee der International Conference on Web Reasoning and Rule Systems (RR)
- Koordinator Track "Logical Modeling" im Studiengang Computational Modeling and Simulation
- Studiengangskoordinator Computational Logic
- Vorstandsvorsitzender der Open Semantic Data Association e.V. (OSDA)
- Tutorial & Workshop Chair, 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21)
- Mitglied im Prüfungsausschuss Bachelor Informatik
Lehrveranstaltungen
- Database Theory (SS 2022)
- Research Seminar Logic and AI (SS 2022)
- Seminar Rule-Based Paradigms in KR (WS 2021)
- Complexity Theory (WS 2021)
- Knowledge Graphs (WS 2021)
weitere Lehrveranstaltungen anzeigen
Studienarbeiten
Abgeschlossene Arbeiten
- Optimierung des logischen Schließens mit existentiellen Regeln durch die Analyse von Abhängigkeiten
- von Alex Ivliev (9 Dezember 2021)
- Betreuer: Markus Krötzsch
- Chase-Based Computation of Cores for Existential Rules
- von Lukas Gerlach (29 August 2021)
- Betreuer: Markus Krötzsch
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies
- von Lukas Gerlach (31 März 2021)
- Betreuer: Markus Krötzsch, David Carral
- Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules
- von Lukas Gerlach (30 September 2020)
- Betreuer: Markus Krötzsch, David Carral
- Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata
- von Serghei Stratan (7 März 2016)
- Betreuer: Markus Krötzsch
- Visualisierung räumlich-zeitlicher Inhalte aus Wikidata
- von Georg Wild (4 September 2014)
- Betreuer: Markus Krötzsch
cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN
CPEC
Grundlagen verständlicher Softwaresysteme
InnoSale
Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence
Semantic MediaWiki
Beliebte Open-Source-Software zur gemeinsamen Datenverwaltung
VLog
A fast, highly scalable rule engine for existential rules and Datalog.
Wikidata
Wikipedias freie, kollaborative Wissensbasis
Wikidata SPARQL Logs
Zugriffsprotokolle des Wikidata SPARQL Query Service