Knowledge-Based Systems
Knowledge-Based Systems
- Contact Markus Krötzsch
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
Prof. Dr. Markus Krötzsch
- markus.kroetzsch@tu-dresden.de
- +49 351 463 38486
- APB 3033
- Knowledge-Based Systems
Management
- kati.michel@tu-dresden.de
- +49 351 463 43505
- APB 3034
- Knowledge-Based Systems
- sandy.seifarth@tu-dresden.de
- +49 351 463 43505
- APB 3034
- Knowledge-Based Systems
Scientific Staff
Dr. David Carral
- David.Carral@tu-dresden.de
- +49 351 463 38314
- APB 3035
- Knowledge-Based Systems
M.Sc. Irina Dragoste
- irina.dragoste@tu-dresden.de
- +49 351 463 38314
- APB 3035
- Knowledge-Based Systems
- larry.gonzalez@tu-dresden.de
- +49 351 463 43510
- APB 3037
- Knowledge-Based Systems
Dipl.-Inf. Alexander Krause
- Alexander.Krause@tu-dresden.de
- +49 351 463 43543
- APB 3053
- Knowledge-Based Systems
Dipl.-Math. Maximilian Marx
- maximilian.marx@tu-dresden.de
- +49 351 463 43510
- APB 3037
- Knowledge-Based Systems
Dr. Ana Ozaki
- Ana.Ozaki@tu-dresden.de
- +49 351 463 38053
- APB 3031
- Knowledge-Based Systems
Technical Administrators
- petra.humann@tu-dresden.de
- +49 (0) 351 463-38422
- APB 3018
- Automata Theory, Knowledge-Based Systems
Student Assistants
- Knowledge-Based Systems
Former Members
Dr. Long Cheng
- Former Research Associate
- Knowledge-Based Systems
- Former Student Assistant
- Knowledge-Based Systems
- Former Student Assistant
- Knowledge-Based Systems
- Former Graduate Assistant
- Knowledge-Based Systems
Dr. Tomáš Masopust
- Former Research Associate
- Knowledge-Based Systems
Dr.-Ing. Veronika Thost
- Former Research Associate
- Automata Theory, Knowledge-Based Systems
- Former Student Assistant
- Knowledge-Based Systems
Newest Publications
David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ
Technical Report, TU Dresden, 2018
Details Download
Markus Krötzsch
Getting the most out of Wikidata
Invited presentation at Wiki Workshop 2018, 2018
Details Download
Adrian Bielefeldt, Julius Gonsior, Markus Krötzsch
Practical Linked Data Access via SPARQL: The Case of Wikidata
Proceedings of the WWW2018 Workshop on Linked Data on the Web (LDOW-18), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download
Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog
Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2018), LNAI, to appear. Springer
Details Download
David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
Preserving Constraints with the Stable Chase
In Benny Kimelfeld and Yael Amsterdamer, eds., Proceedings of the 21st International Conference on Database Theory (ICDT 2018), volume 98 of Leibniz International Proceedings in Informatics (LIPIcs), 12:1--12:19, March 2018. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Details Download
Larry González, Aidan Hogan
Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis
Proceedings of the 27th Web Conference (WWW), Lyon, France, April 23–27, 2018, to appear
Details Download
Markus Krötzsch
Recent Advances in Reasoning with Existential Rules
Presentation at the 2018 Workshop of the European Master in Computational Logic (EMCL), 2018
Details Download
David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
On the Ontological Modeling of Trees
In Oscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra, eds., Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 6th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 21, 2017., volume 2043, February 2018. CEUR Workshop Proceedings
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. Spinger
Details Download
Tomáš Masopust
Complexity of Verifying Nonblockingness in Modular Supervisory Control
IEEE Transactions on Automatic Control, 63(2):602-607, 2018
Details Download
Courses
- Theoretische Informatik und Logik (SS 2018)
- Existential Rules (SS 2018)
- Database Theory (SS 2018)
- Deduction Systems (SS 2018)
- Formale Systeme (WS 2017)
show further courses
Completed Theses
- 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
cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN
DIAMOND
Data Integration and Access by Merging Ontologies and Databases
HAEC
Highly Adaptive Energy-Efficient Computing (Collaborative Research Centre SFB 912)
HAEC B08
High-Capacity Knowledge Processing Pipeline (HAEC Project B08)
Semantic MediaWiki
Popular open-source software for collaborative data management
Wikidata
Wikipedia's free, collaborative knowledge base
