Markus Krötzsch

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Prof. Dr. Markus Krötzsch

ProfessorTechnische Universität DresdenInternational Center for Computational Logic Wissensbasierte Systeme

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 Exzellenzcluster cfaed 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

David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
Preserving Constraints with the Stable Chase
In Benny Kimelfeld and Yael Amsterdamer, eds., Proceedings of the 21st International Conference on Database Theory (ICDT 2018), Leibniz International Proceedings in Informatics, 12:1--12:19, to appear. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download

Tomáš Masopust, Markus Krötzsch
Deciding Universality of ptNFAs is PSpace-Complete
In A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiri Wiedermann, eds., Proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2018), volume 10706 of LNCS, 413-427, 2018. Spinger
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Restricted chase (non)termination for existential rules with disjunctions
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), 922-928, 2017. International Joint Conferences on Artificial Intelligence
Details Download

Markus Krötzsch, Tomáš Masopust, Michaël Thomazo
Complexity of Universality and Related Problems for Partially Ordered NFAs
Information and Computation, 255(1):177-192, August 2017
Details Download

Maximilian Marx, Markus Krötzsch
The New SQID: Improving Wikidata Made Easy
Presentation at WikidataCon 2017, 2017
Details Download

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Ontologies for Knowledge Graphs
In Claudia d'Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, Jeff Heflin, eds., Proceedings of the 16th International Semantic Web Conference (ISWC'17), volume 10587 of LNCS, 418--435, October 2017. Springer
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for Expressive Ontologies and Existential Rules
In Claudia d'Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, Jeff Heflin, eds., Proceedings of the 16th International Semantic Web Conference (ISWC'17), volume 10587 of LNCS, 2017. Springer
Details Download

Maximilian Marx, Markus Krötzsch
SQID: Towards Ontological Reasoning for Wikidata
In Nadeschda Nikitina, Dezhao Song, eds., Proceedings of the ISWC 2017 Posters & Demonstrations Track, CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download

Maximilian Marx, Markus Krötzsch, Veronika Thost
Logic on MARS: Ontologies for generalised property graphs
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), 1188-1194, 2017. International Joint Conferences on Artificial Intelligence
Details Download

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Reasoning with Attributed Description Logics
In Alessandro Artale, Birte Glimm, Roman Kontchakov, eds., Proceedings of the 30th International Workshop on Description Logics (DL 2017), Montpellier, France, July 18-21, 2017, volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download

Komplette Publikationsliste anzeigen

Lehrveranstaltungen


Abgeschlossene Arbeiten

Cfaed.jpg

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

DIAMOND-Logo.png

DIAMOND
Datenintegration und -abfrage durch die Zusammenführung von Ontologien und Datenbanken

HAEC Logo.png

HAEC
Highly Adaptive Energy-Efficient Computing (Sonderforschungsbereich 912)

HAEC Logo.png

HAEC B08
High-Capacity Knowledge Processing Pipeline (HAEC Teilprojekt B08)

Semantic MediaWiki logo.png

Semantic MediaWiki
Beliebte Open-Source-Software zur gemeinsamen Datenverwaltung

Wikidata-logo-en.svg

Wikidata
Wikipedias freie, kollaborative Wissensbasis