Wissensbasierte Systeme
Wissensbasierte Systeme
- Kontaktperson Markus Krötzsch
- Sekretariat secretary_wbs@mailbox.tu-dresden.de
In der Forschungsgruppe Wissensbasierte Systeme beschäftigen wir uns mit Methoden der intelligenten Verwaltung und Verarbeitung von Informationen in Computersystemen. Unsere Arbeitsgebiete liegen dabei besonders im Bereich der symbolischen Künstlichen Intelligenz (KI) und der logischen Methoden in der Informatik. Dies umfasst Fragestellungen der Wissensrepräsentation und des logischen Schließens, der diskreten Optimierung und Problemlösung, sowie der Datenbanken. Unsere Arbeit verbindet dabei erkenntnisorientierte Grundlagenforschung mit angewandten Arbeiten bishin zur Entwicklung praktischer Systeme.
Die Forschungsgruppe ist am Institut für Theoretische Informatik der Fakultät Informatik angesiedelt und gehört darüber hinaus zum Center for Advancing Electronics der TUD.
Professoren und Gruppenleiter
Verwaltung
Wissenschaftliche Mitarbeiter
Techniker
- APB 3018
- +49 (0) 351 463-38422
Studentische und Wissenschaftliche Hilfskräfte
Ehemalige
- Ehemals Wissenschaftlicher Mitarbeiter
- Wissensbasierte Systeme, Logische Programmierung und Argumentation
- Ehemals Wissenschaftliche Mitarbeiterin
- Automatentheorie, Wissensbasierte Systeme
Neueste Publikationen
Komplette Publikationsliste anzeigen
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
Lehrveranstaltungen
- Complexity Theory (WS 2025)
- Knowledge Graphs (WS 2025)
- Formale Systeme (WS 2025)
- Concurrency Theory (SS 2025)
- Database Theory (SS 2025)
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
CPEC
Grundlagen verständlicher Softwaresysteme
CeTI
Centre for Tactile Internet with Human-in-the-Loop
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
Adf-bdd
Abstract Dialectical Frameworks mit Binary Decision Diagrammen lösen
