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
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
Nemo: First Glimpse of a New Rule Engine
Proceedings 39th International Conference on Logic Programming: ICLP 2023 Technical Communications, EPTCS, to appear
Details Download
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
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
Proceddings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), September 2022. Springer
Details Download
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
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
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
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
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
Wissen als Code: Die Welt der Wissensgraphen und Ontologien
Linux-Magazin (12/2022):24-28, 2022
Details
- Area Editor of Transactions on Graph Data and Knowledge (TGDK)
- Mitglied im Fakultätsrat Informatik, TU Dresden (2022-2024)
- Director der School of Embedded Composite AI (SECAI)
- Mitglied des Program Committee Boards der International Joint Conference on Artificial Intelligence, IJCAI (2022-2024)
- Mitglied des Programmkomitees der 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022)
- Koordinator Track "Logical Modeling" im Studiengang Computational Modeling and Simulation
- Mitglied im Steering Committee der International Conference on Web Reasoning and Rule Systems (RR)
- Studiengangskoordinator Computational Logic
- Vorstandsvorsitzender der Open Semantic Data Association e.V. (OSDA)
- Mitglied im Prüfungsausschuss Bachelor Informatik
Lehrveranstaltungen
- Complexity Theory (WS 2023)
- Formale Systeme (WS 2023)
- Knowledge Graphs (WS 2023)
- Database Theory (SS 2023)
- Complexity Theory (WS 2022)
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
KIMEDS
KI-assistierte Zertifizierung medizinischer Software
Nemo
Ein schnelles, skalierbares und verlässliches Regelsystem
SECAI
School of Embedded Composite Artificial Intelligence
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence
Semantic MediaWiki
Beliebte Open-Source-Software zur gemeinsamen Datenverwaltung
Wikidata
Wikipedias freie, kollaborative Wissensbasis
Wikidata SPARQL Logs
Zugriffsprotokolle des Wikidata SPARQL Query Service