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
Management
Scientific Staff
Technical Administrators
- APB 3018
- +49 (0) 351 463-38422
Student Assistants
Former Members
Newest Publications
AFCA: Searching for Complete Extensions via Enumeration of a Closure System
In Iosif Apostolakis, Andrei Popesci, Johannes P. Wallner, eds., Solver and Benchmark Descriptions of ICCMA 2025: Sixth International Competition on Computational Models of Argumentation, 11–12, 2026
Details Download
SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs
In Maribel Acosta, Marieke van Erp, Sebastian Rudolph, Olaf Hartig, Blerina Spahiu, Anisa Rula, Daniel Garijo, Francesco Osborne, eds., Proceedings of the 23rd European Semantic Web Conference (ESWC 2026), LNCS, to appear. Springer
Details Download
Towards Mass Spectrum Analysis with ASP
Theory and Practice of Logic Programming, February 2026
Details Download
Declarative Debugging for Datalog with Aggregation
In Alexander Krause, João Felipe Pimentel, eds., Proceedings of the Workshops of the EDBT/ICDT 2026 Joint Conference (EDBT/ICDT-WS 2026), Tampere, Finland, March 24, 2026, CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download
Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
In Balder ten Cate, Maurice Funk, eds., Proceedings of the 29th International Conference on Database Theory, volume 365 of LIPIcs, to appear. Dagstuhl Publishing
Details Download
Existential Notation3 Logic
Theory and Practice of Logic Programming, 52(3):304-339, May 2025
Details
PAC Learning of Concept Inclusions for Ontology-Mediated Query Answering (Extended Abstract)
In Lidia Tendera, Yazmin Ibanez Garcia, Patrick Koopmann, eds., DL 2025: 38th International Workshop on Description Logics, volume 4091, September 2025. CEUR Workshop Proceedings
Details Download
Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes
Proceedings of the 21st International Conference on Semantic Systems (SEMANTiCS 2025), 226 - 246, September 2025
Details Download
Verifying Datalog Reasoning with Lean
In Yannick Forster, Chantal Keller, eds., 16th International Conference on Interactive Theorem Proving (ITP 2025), volume 352 of Leibniz International Proceedings in Informatics (LIPIcs), 36:1-36:19, September 2025. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Verifying Datalog Reasoning with Lean (Extended Abstract)
KR 2025 - Recently Published Research Track, November 2025
Details Download
Courses
- Formale Systeme (WS 2025)
- Complexity Theory (WS 2025)
- Knowledge Graphs (WS 2025)
- Database Theory (SS 2025)
- Recent Topics in Knowledge Graphs (SS 2025)
show further courses
Student projects
Completed Theses
- Reliance-Based Optimization of Existential Rule Reasoning
- by Alex Ivliev (9 Dezember 2021)
- Supervisor: Markus Krötzsch
- Chase-Based Computation of Cores for Existential Rules
- by Lukas Gerlach (29 August 2021)
- Supervisor: Markus Krötzsch
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies
- by Lukas Gerlach (31 März 2021)
- Supervisor: Markus Krötzsch, David Carral
- Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules
- by Lukas Gerlach (30 September 2020)
- Supervisor: Markus Krötzsch, David Carral
- 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
CPEC
Center for Perspicuous Computing
CeTI
Centre for Tactile Internet with Human-in-the-Loop
Nemo
A fast, scalable, and reliable rule engine
SECAI
School of Embedded Composite Artificial Intelligence
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence
Semantic MediaWiki
Popular open-source software for collaborative data management
Wikidata
Wikipedia's free, collaborative knowledge base
Wikidata SPARQL Logs
Access logs from the Wikidata SPARQL Query Service
Adf-bdd
Abstract Dialectical Frameworks solved with Binary Decision Diagrams
