Knowledge-Based Systems

From International Center for Computational Logic
Toggle side column

Knowledge-Based Systems

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


Kati Michel.png

Kati Michel


Sandy Seifarth

Scientific Staff

Screen Shot 2016-11-08 at 10.57.24 AM.png

Dr. David Carral

Irina Dragoste 2016.jpg

M.Sc. Irina Dragoste

2018 02 18 larry gonzalez.jpeg

Larry González

Alexander Krause.jpg

Dipl.-Inf. Alexander Krause


Dipl.-Math. Maximilian Marx


Dr. Ana Ozaki

Technical Administrators

Missing portrait 3-2.png

Petra Humann

Student Assistants

Adrian Bielefeldt.jpg

Adrian Bielefeldt

  • Knowledge-Based Systems 

Former Members

Long Cheng.jpg

Dr. Long Cheng

  • Former Research Associate
  • Knowledge-Based Systems
Fredo Erxleben.jpg

Fredo Erxleben

  • Former Student Assistant
  • Knowledge-Based Systems
Julius Gonsior.jpg

Julius Gonsior

  • Former Student Assistant
  • Knowledge-Based Systems
Michael Guenther.jpg

Michael Günther

  • Former Graduate Assistant
  • Knowledge-Based Systems
Tomas Masopust.jpg

Dr. Tomáš Masopust

  • Former Research Associate
  • Knowledge-Based Systems

Dr.-Ing. Veronika Thost


Georg Wild

  • Former Student Assistant
  • Knowledge-Based Systems

Newest Publications

View full publication list

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.
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

View full publication list


Completed Theses




Data Integration and Access by Merging Ontologies and Databases

HAEC Logo.png

Highly Adaptive Energy-Efficient Computing (Collaborative Research Centre SFB 912)

HAEC Logo.png

High-Capacity Knowledge Processing Pipeline (HAEC Project B08)

Semantic MediaWiki logo.png

Semantic MediaWiki
Popular open-source software for collaborative data management


Wikipedia's free, collaborative knowledge base