Wissensbasierte Systeme
Wissensbasierte Systeme
- Kontaktperson Markus Krötzsch
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.michel@tu-dresden.de
- +49 351 463 43505
- 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
- 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
Techniker
- petra.humann@tu-dresden.de
- +49 (0) 351 463-38422
- APB 3018
- Automatentheorie, Wissensbasierte Systeme
Studentische und Wissenschaftliche Hilfskräfte
- Wissensbasierte Systeme
- Wissensbasierte Systeme
Ehemalige
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, 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), to appear
Details Download
Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Reasoning on Knowledge Graphs
Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18), 5309--5313, July 2018. International Joint Conferences on Artificial Intelligence
Details Download
Tomáš Masopust, Markus Krötzsch
Deciding Universality of ptNFAs is PSpace-Complete
In A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiri Wiedermann, eds., Proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2018), volume 10706 of LNCS, 413-427, 2018. Springer
Details Download
David Carral
Reasoning with Description Logics Ontologies and Knowledge Graphs
Invited Talk at Télécom ParisTech, December 2018
Details
David Carral
Reasoning over Existential Rules with Acyclicity Notions and the Datalog-first Restricted Chase
Invited Talk at the University of Oxford, PSL University, the University of Bordeaux, the University of Montpellier, and the QuantLA seminar at TU Dresden, December 2018
Details Download
David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ
Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), to appear
Details Download
Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog
In Didier Galmiche, Stephan Schulz, Roberto Sebastiani, eds., Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2018), volume 10900 of LNCS, 680--688, 2018. Springer
Details Download
Stanislav Malyshev, Markus Krötzsch, Larry González, Julius Gonsior, Adrian Bielefeldt
Getting the Most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph
In Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl, eds., Proceedings of the 17th International Semantic Web Conference (ISWC'18), volume 11137 of LNCS, 376-394, 2018. Springer
Details Download
Markus Krötzsch
Ontological Modelling in Wikidata
Invited keynote at the 9th Workshop on Ontology Design and Patterns (WOP'18), 2018
Details Download
David Carral, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for Expressive Ontologies and Existential Rules: Extended Abstract
Proceedings of the 31st International Workshop on Description Logics (DL 2018), to appear
Details Download
Lehrveranstaltungen
- Seminar Selected Topics in Database Theory (WS 2018)
- Complexity Theory (WS 2018)
- Knowledge Graphs (WS 2018)
- Research Seminar Knowledge-Based Systems (WS 2018)
- Theoretische Informatik und Logik (SS 2018)
weitere Lehrveranstaltungen anzeigen
Abgeschlossene Arbeiten
- 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
CRC 248
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)
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: 28. Februar 2019
- Details
Wissensch. Mitarbeiter/in: Mathematische Grundlagen der Wissensrepräsentation
Stellenausschreibung für: Wissenschaftliche(r) Mitarbeiter(in) / Doktorand(in)
- Forschungsgruppe: Wissensbasierte Systeme
- Bewerbungsfrist: 28. Februar 2019
- Details
