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
Prof. Dr. Markus Krötzsch
- markus.kroetzsch@tu-dresden.de
- +49 351 463 38486
- APB 3033
- Wissensbasierte Systeme
Verwaltung
- kati.domann@tu-dresden.de
- +49 351 463 43507
- APB 3034
- Wissensbasierte Systeme
- sandy.seifarth@tu-dresden.de
- +49 351 463 43505
- APB 3034
- Wissensbasierte Systeme
Wissenschaftliche Mitarbeiter
Dr. David Carral
- David.Carral@tu-dresden.de
- +49 351 463 38314
- APB 3035
- Wissensbasierte Systeme
M.Sc. Irina Dragoste
- irina.dragoste@tu-dresden.de
- +49 351 463 38314
- APB 3035
- Wissensbasierte Systeme
M.Sc. Ali Elhalawati
- ali.elhalawati@tu-dresden.de
- +49 351 463 43510
- APB 3037
- Wissensbasierte Systeme
- larry.gonzalez@tu-dresden.de
- +49 351 463 38043
- APB 3010
- Wissensbasierte Systeme
Dipl.-Inf. Alexander Krause
- Alexander.Krause@tu-dresden.de
- +49 351 463 43543
- APB 3053
- Wissensbasierte Systeme
Dipl.-Math. Maximilian Marx
- maximilian.marx@tu-dresden.de
- +49 351 463 43510
- APB 3037
- Wissensbasierte Systeme
Dr. Stephan Mennicke
- Stephan.Mennicke@tu-dresden.de
- +49 351 463 38043
- APB 3010
- Wissensbasierte Systeme
Techniker
- petra.humann@tu-dresden.de
- +49 (0) 351 463-38422
- APB 3018
- Automatentheorie, Wissensbasierte Systeme
Studentische und Wissenschaftliche Hilfskräfte
Ehemalige
- Ehemals Studentische Hilfskraft
- Wissensbasierte Systeme
Dr. Long Cheng
- Ehemals Wissenschaftlicher Mitarbeiter
- Wissensbasierte Systeme
- Ehemals Studentische Hilfskraft
- Wissensbasierte Systeme
- Ehemals Studentische Hilfskraft
- Wissensbasierte Systeme
- Ehemals Wissenschaftliche Hilfskraft
- Wissensbasierte Systeme
Dr. Tomáš Masopust
- Ehemals Wissenschaftlicher Mitarbeiter
- Wissensbasierte Systeme
Dr. Ana Ozaki
- Ehemals Wissenschaftliche Mitarbeiterin
- Wissensbasierte Systeme
Dr.-Ing. Veronika Thost
- Ehemals Wissenschaftliche Mitarbeiterin
- Automatentheorie, Wissensbasierte Systeme
- Ehemals Studentische Hilfskraft
- Wissensbasierte Systeme
Neueste Publikationen
Komplette Publikationsliste anzeigen
David Carral, Markus Krötzsch
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
David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)
Details
David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 24th European Conference on Artificial Intelligence (ECAI 2020)
Details
Markus Krötzsch
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
Stephan Mennicke
Non-Standard Semantics for Graph Query Languages
Phd thesis, TU Braunschweig, 2020/03/11
Details Download
Till Affeldt, Stephan Mennicke, Wolf-Tilo Balke
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
Jan-Christoph Kalo, Stephan Mennicke, Philipp Ehler, Wolf-Tilo Balke
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
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, 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, 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
Lehrveranstaltungen
- Foundations of Complexity Theory (WS 2020)
- Formale Systeme (WS 2020)
- Knowledge Graphs (WS 2020)
- Academic Skills in Computer Science (SS 2020)
- Database Theory (SS 2020)
weitere Lehrveranstaltungen anzeigen
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
HAEC
Highly Adaptive Energy-Efficient Computing (Sonderforschungsbereich 912)
HAEC B08
High-Capacity Knowledge Processing Pipeline (HAEC Teilprojekt B08)
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
Wissensch. Mitarbeiter/in: Künstliche Intelligenz
Stellenausschreibung für: Wissenschaftliche(r) Mitarbeiter(in) / Doktorand(in)
- Forschungsgruppe: Wissensbasierte Systeme
- Bewerbungsfrist: 17. November 2020
- Details
