Wissensbasierte Systeme
Wissensbasierte Systeme
- Kontaktperson Markus Krötzsch
- Sekretariat secretary_wbs@mailbox.tu-dresden.de
Die Forschungsgruppe Wissensbasierte Systeme beschäftigt sich mit Methoden der intelligenten Verwaltung und Verarbeitung von Informationen in Computersystemen. Dies umfasst Fragestellungen der formalen Wissensrepräsentation und des logischen Schließens ebenso wie Forschungsthemen aus dem Bereich Datenbanken und verteilte Systeme. Wichtige Anwendungsgebiete dieser Forschung finden sich zum Beispiel in den Bereichen semantische Technologien, Künstliche Intelligenz und Wissensmanagement.
Die Forschungsgruppe ist dem Institut für Theoretische Informatik zugeordnet.
Professoren und Gruppenleiter
Verwaltung
Wissenschaftliche Mitarbeiter
- APB 3035
- +49 351 463 38314
Techniker
- APB 3018
- +49 (0) 351 463-38422
Studentische und Wissenschaftliche Hilfskräfte
Ehemalige
- Ehemals Wissenschaftliche Mitarbeiterin
- Automatentheorie, Wissensbasierte Systeme
Neueste Publikationen
Komplette Publikationsliste anzeigen
Materializing Knowledge Bases via Trigger Graphs
Proceedings of the 47th International Conference on Very Large Databases, VLDB 2021, to appear
Details Download
Tutorial on Multi-Context Stream Reasoning
43rd German Conference on Artificial Intelligence Tutorial, September 2020
Details
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules
In Christian Bessiere, eds., Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020, 1777-1783, 2020. ijcai.org
Details Download
Reasoner = Logical Calculus + Rule Engine
KI, 2020
Details
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)
Details
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 24th European Conference on Artificial Intelligence (ECAI 2020)
Details
Computing Cores for Existential Rules with the Standard Chase and ASP
In Diego Calvanese, Esra Erdem, Michael Thielscher, eds., Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 603-613, 2020. IJCAI
Details Download
Non-Standard Semantics for Graph Query Languages
Phd thesis, TU Braunschweig, 2020/03/11
Details Download
Preference-driven Control over Incompleteness of Knowledge Graph Query Answers
Proceedings of the 12th ACM Conference on Web Science, WebSci 2020, Southampton, UK, July 7 - 10, 2020, to appear
Details Download
Detecting Synonymous Properties by Shared Data-driven Definitions
The Semantic Web - 17th International Conference, ESWC 2020, Virtual, June 2-4, 2020, Proceedings., to appear
Details Download
Lehrveranstaltungen
- Seminar Data-Aware Processes (SS 2021)
- Theoretische Informatik und Logik (SS 2021)
- Knowledge Graphs (WS 2020)
- Foundations of Complexity Theory (WS 2020)
- Formale Systeme (WS 2020)
weitere Lehrveranstaltungen anzeigen
Studienarbeiten
Abgeschlossene Arbeiten
- Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules
- von Lukas Gerlach (30 September 2020)
- Betreuer: Markus Krötzsch
- 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
DIAMOND
Datenintegration und -abfrage durch die Zusammenführung von Ontologien und Datenbanken
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence
Semantic MediaWiki
Beliebte Open-Source-Software zur gemeinsamen Datenverwaltung
VLog
A fast, highly scalable rule engine for existential rules and Datalog.
Wikidata
Wikipedias freie, kollaborative Wissensbasis
Wikidata SPARQL Logs
Zugriffsprotokolle des Wikidata SPARQL Query Service
