Knowledge-Based Systems
Knowledge-Based Systems
- Contact Markus Krötzsch
- Secretary secretary_wbs@mailbox.tu-dresden.de
The research group Knowledge-Based Systems is concerned with methods for the intelligent management and processing of information in computer systems. This includes research questions from knowledge representation, reasoning and formal logic, but also covers topics related to databases and distributed systems. Important application areas of this research can be found in the fields of semantic technologies, artificial intelligence, and knowledge management.
The research group is affiliated with the Institute for Theoretical Computer Science.
Professors and Research Group Leaders
Prof. Dr. Markus Krötzsch
- markus.kroetzsch@tu-dresden.de
- +49 351 463 38486
- APB 3033
- Knowledge-Based Systems
Management
- kati.domann@tu-dresden.de
- +49 351 463 43507
- APB 3034
- Knowledge-Based Systems
- sandy.seifarth@tu-dresden.de
- +49 351 463 43505
- APB 3034
- Knowledge-Based Systems
Scientific Staff
Dr. David Carral
- David.Carral@tu-dresden.de
- +49 351 463 38314
- APB 3035
- Knowledge-Based Systems
M.Sc. Irina Dragoste
- irina.dragoste@tu-dresden.de
- +49 351 463 38314
- APB 3035
- Knowledge-Based Systems
M.Sc. Ali Elhalawati
- ali.elhalawati@tu-dresden.de
- +49 351 463 43510
- APB 3037
- Knowledge-Based Systems
- larry.gonzalez@tu-dresden.de
- +49 351 463 38043
- APB 3010
- Knowledge-Based Systems
Dipl.-Inf. Alexander Krause
- Alexander.Krause@tu-dresden.de
- +49 351 463 43543
- APB 3053
- Knowledge-Based Systems
Dipl.-Math. Maximilian Marx
- maximilian.marx@tu-dresden.de
- +49 351 463 43510
- APB 3037
- Knowledge-Based Systems
Technical Administrators
- petra.humann@tu-dresden.de
- +49 (0) 351 463-38422
- APB 3018
- Automata Theory, Knowledge-Based Systems
Student Assistants
Former Members
- Former Student Assistant
- Knowledge-Based Systems
Dr. Long Cheng
- Former Research Associate
- Knowledge-Based Systems
- Former Student Assistant
- Knowledge-Based Systems
- Former Student Assistant
- Knowledge-Based Systems
- Former Graduate Assistant
- Knowledge-Based Systems
Dr. Tomáš Masopust
- Former Research Associate
- Knowledge-Based Systems
Dr. Ana Ozaki
- Former Research Associate
- Knowledge-Based Systems
Dr.-Ing. Veronika Thost
- Former Research Associate
- Automata Theory, Knowledge-Based Systems
- Former Student Assistant
- Knowledge-Based Systems
Newest Publications
David Carral, Jacopo Urbani
Checking Chase Termination over Ontologies of Existential Rules with Equality
Proceedings of the 34rd Conference on Artificial Intelligence (AAAI 2020), February 2020
Details Download
David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
This tutorial will be presented at the 17th International Conference on Principles of Knowledge Representation and Reasoning, September 2020
Details Download
David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32st International Workshop on Description Logics (DL 2019), volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download
Tom Hanika, Maximilian Marx, Gerd Stumme
Interactively Discovering Implicational Knowledge in Wikidata
Presentation at 36th Chaos Communication Congress 2019, December 2019
Details Download
David Carral, Irina Dragoste, Larry González, Ceriel Jacobs, Markus Krötzsch, Jacopo Urbani
VLog: A Rule Engine for Knowledge Graphs
In Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek, Isabel F. Cruz, Aidan Hogan, Jie Song, Maxime Lefrançois, Fabien Gandon, eds., Proceedings of the 18th International Semantic Web Conference (ISWC'19) Part II, volume 11779 of LNCS, October 2019. Springer
Details Download
Markus Krötzsch, Daria Stepanova
Explainable Artificial Intelligence. Proceedings of the 15th Reasoning Web Summer School
Volume 11810 of LNCS, 2019. Springer
Details
Markus Krötzsch
Working with Knowledge Graphs
Course at EDBT Summer School 2019, Lyon, France, 2019
Details Download
David Carral, Irina Dragoste, Markus Krötzsch
Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32nd International Workshop on Description Logics, volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download
David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
Chasing Sets: How to Use Existential Rules for Expressive Reasoning
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI'19), August 2019. International Joint Conferences on Artificial Intelligence
Details Download
David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI 2019), January 2019
Details Download
Courses
- Academic Skills in Computer Science (SS 2020)
- Database Theory (SS 2020)
- Complexity Theory (WS 2019)
- Seminar Selected Topics in Database Theory (WS 2019)
- Knowledge Graphs (WS 2019)
show further courses
Completed Theses
- Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata
- by Serghei Stratan (7 März 2016)
- Supervisor: Markus Krötzsch
- Visualization of spacio-temporal data from Wikidata
- by Georg Wild (4 September 2014)
- Supervisor: Markus Krötzsch
cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN
CPEC
Center for Perspicuous Computing
DIAMOND
Data Integration and Access by Merging Ontologies and Databases
HAEC
Highly Adaptive Energy-Efficient Computing (Collaborative Research Centre SFB 912)
HAEC B08
High-Capacity Knowledge Processing Pipeline (HAEC Project B08)
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence
Semantic MediaWiki
Popular open-source software for collaborative data management
VLog
A fast, highly scalable rule engine for existential rules and Datalog.
Wikidata
Wikipedia's free, collaborative knowledge base
Wikidata SPARQL Logs
Access logs from the Wikidata SPARQL Query Service
