Markus Krötzsch: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Markus Krötzsch (Diskussion | Beiträge) (should create pages?) |
Markus Krötzsch (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 3: | Zeile 3: | ||
|Nachname=Krötzsch | |Nachname=Krötzsch | ||
|Akademischer Titel=Dr. | |Akademischer Titel=Dr. | ||
|Stellung=Wissenschaftlicher Mitarbeiter | |Stellung=Wissenschaftlicher Mitarbeiter | ||
|Ehemaliger=0 | |Ehemaliger=0 | ||
|Telefon=+49 351 463 38486 | |Telefon=+49 351 463 38486 | ||
|Fax=+49 351 463 37959 | |||
|Email=markus.kroetzsch@tu-dresden.de | |Email=markus.kroetzsch@tu-dresden.de | ||
|Raum=3010 | |Raum=3010 | ||
|Bild=Markus-Kroetzsch-2014-3 | |Bild=Markus-Kroetzsch-2014-2-3.jpg | ||
|Info=Ich bin Forschungsgruppenleiter an der Fakultät für Informatik der Technischen Universität Dresden, gerfördert im Emmy-Noether-Programm der DFG. Meine Forschungsinteressen liegen ganz allgemein im Bereich Intelligente Informationssysteme. Konkrete Beiträge geleistet habe ich zum Beispiel zu leichtgewichtigen und regelbasierten Ontologiesprachen, zur Anfragebeantwortung, 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 Koeditor des W3C-Standards der Web Ontology Language OWL 2. | |Info=Ich bin Forschungsgruppenleiter an der Fakultät für Informatik der Technischen Universität Dresden, gerfördert im Emmy-Noether-Programm der DFG. Meine Forschungsinteressen liegen ganz allgemein im Bereich Intelligente Informationssysteme. Konkrete Beiträge geleistet habe ich zum Beispiel zu leichtgewichtigen und regelbasierten Ontologiesprachen, zur Anfragebeantwortung, 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 Koeditor 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 hoch-effiziente Ontologiereasoner ELK. Hinter jedem einzelnen dieser Projekte stehen eine Reihe hervorragender Personen, deren Arbeit ich sehr schätze. | Meine zurzeit wichtigste angewandte Arbeit ist Wikidata. Weitere Projekte, an denen ich beteiligt war, sind das semantische Content Management System Semantic MediaWiki und der hoch-effiziente Ontologiereasoner ELK. Hinter jedem einzelnen dieser Projekte stehen eine Reihe hervorragender Personen, deren Arbeit ich sehr schätze. | ||
|Info EN=I am a research group leader at the Department of Computer Science at the Technical University of Dresden. My scientific interests are, broadly speaking, in the area of intelligent information 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. | |Info EN=I am a research group leader at the Department of Computer Science at the Technical University of Dresden. My scientific interests are, broadly speaking, in the area of intelligent information 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 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. | My most important applied work at the moment is Wikidata. Other projects I 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. | ||
|DBLP=http://www.informatik.uni-trier.de/~ley/pers/hd/k/Kr=ouml=tzsch:Markus | |DBLP=http://www.informatik.uni-trier.de/~ley/pers/hd/k/Kr=ouml=tzsch:Markus | ||
|Google Scholar=http://scholar.google.com/citations?user=liyiW70AAAAJ&hl=en | |Google Scholar=http://scholar.google.com/citations?user=liyiW70AAAAJ&hl=en | ||
| Zeile 21: | Zeile 21: | ||
|Publikationen anzeigen=1 | |Publikationen anzeigen=1 | ||
|Vorträge anzeigen=1 | |Vorträge anzeigen=1 | ||
|Abschlussarbeiten anzeigen =1 | |Abschlussarbeiten anzeigen=1 | ||
}} | }} | ||
Version vom 10. Oktober 2014, 13:53 Uhr
Dr. Markus Krötzsch
Wissenschaftlicher Mitarbeiter
- markus.kroetzsch@tu-dresden.de
- +49 351 463 38486
- +49 351 463 37959
- 3010
Ich bin Forschungsgruppenleiter an der Fakultät für Informatik der Technischen Universität Dresden, gerfördert im Emmy-Noether-Programm der DFG. Meine Forschungsinteressen liegen ganz allgemein im Bereich Intelligente Informationssysteme. Konkrete Beiträge geleistet habe ich zum Beispiel zu leichtgewichtigen und regelbasierten Ontologiesprachen, zur Anfragebeantwortung, 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 Koeditor 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 hoch-effiziente Ontologiereasoner ELK. Hinter jedem einzelnen dieser Projekte stehen eine Reihe hervorragender Personen, deren Arbeit ich sehr schätze.
Neueste Publikationen
Komplette Publikationsliste anzeigen
Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit
In Pierre Marquis,Magdalena Ortiz,Maurice Pagnucco, eds., Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 743-754, 2024. IJCAI Organization
Details Download
Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
Nemo: A Scalable and Versatile Datalog Engine
In Mario Alviano, Matthias Lanzinger, eds., Proceedings of the 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024), volume 3801 of CEUR Workshop Proceedings, 43-47, November 2024. CEUR-WS.org
Details Download
Nils Küchenmeister, Alex Ivliev, Markus Krötzsch
Towards Mass Spectrum Analysis with ASP
In Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez, eds., Logic Programming and Nonmonotonic Reasoning, volume 15245 of Lecture Notes in Computer Science, 200-214, October 2024. Springer, Cham
Details Download
Lukas Gerlach, Alex Ivliev, Julián Méndez, Simon Meusel, Raimund Dachselt, Markus Krötzsch
EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization
The Fifth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024), November 2024
Details Download
Philipp Hanisch, Markus Krötzsch
Chase Termination Beyond Polynomial Time
Proc. ACM Manag. Data, 2(2):93, May 2024
Details Download
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine
In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni, eds., Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333--335, September 2023
Details Download
Larry González, Alex Ivliev, Stephan Mennicke, Markus Krötzsch
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
Denny Vrandečić, Lydia Pintscher, Markus Krötzsch
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
Ali Elhalawati, Markus Krötzsch, Stephan Mennicke
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
In Guido Governatori, Anni-Yasmin Turhan, eds., Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, 146--163, 2022. Springer
Details Download
Raimund Dachselt, Sarah Alice Gaggl, Markus Krötzsch, Julián Méndez, Dominik Rusovac, Mei Yang
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces
In Francesca Toni, eds., Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), volume 220146 of FAIA, 116-127, September 2022. IOS Press
Details Download
- Vorsitzender der Prüfungsausschüsse Informatik (BSc, MSc, Diplom)
- Area Editor der Zeitschrift Transactions on Graph Data and Knowledge (TGDK)
- Director der School of Embedded Composite AI (SECAI)
- Mitglied im Fakultätsrat Informatik, TU Dresden (2022-2027)
- Mitglied des Program Committee Boards der International Joint Conference on Artificial Intelligence, IJCAI (2022-2024)
- Wikidata Workshop 2025 (Organisationskomitee)
- Studiengangskoordinator Computational Logic
- Koordinator Track "Logical Modeling" im Studiengang Computational Modeling and Simulation
- Vorstandsvorsitzender der Open Semantic Data Association e.V. (OSDA)
Lehrveranstaltungen
- Database Theory (SS 2025)
- Complexity Theory (WS 2024)
- Knowledge Graphs (WS 2024)
- Theoretische Informatik und Logik (SS 2024)
- Knowledge Graphs (WS 2023)
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
CeTI
Centre for Tactile Internet with Human-in-the-Loop
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
