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


Scientific Staff

Technical Administrators

Student Assistants

Former Members

Adrian Bielefeldt.jpg

Adrian Bielefeldt

Long Cheng.jpg

Dr. Long Cheng

Fredo Erxleben.jpg

Fredo Erxleben

Julius Gonsior.jpg

Julius Gonsior

Michael Guenther.jpg

Michael Günther

Tomas Masopust.jpg

Dr. Tomáš Masopust


Dr. Ana Ozaki


Dr.-Ing. Veronika Thost


Georg Wild

Newest Publications

View full publication list

David Carral, Markus Krötzsch
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules
In Christian Bessiere, eds., Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, 1777-1783, July 2020.
Details Download

Markus Krötzsch
Computing Cores for Existential Rules with the Standard Chase and ASP
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), to appear. 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, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
This tutorial will be presented at the 17th International Conference on Principles of Knowledge Representation and Reasoning, September 2020
Details Download

Stephan Mennicke
Modal Schema Graphs for Graph Databases
Conceptual Modeling - 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings, LNCS, 498-512, November 2019. Springer

Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke
Fast Dual Simulation Processing of Graph Database Queries
35th IEEE International Conference on Data Engineering, ICDE 2019, Macao, China, April 8-11, 2019, ICDE, 244-255, April 2019. IEEE

Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Temporally Attributed Description Logics
In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter, eds., Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, volume 11560 of LNCS, 441-474. Springer, 2019
Details Download

View full publication list


Completed Theses



Logo CPEC final RGB.svg

Center for Perspicuous Computing


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)


Center for Scalable Data Analytics and Artificial Intelligence

Semantic MediaWiki logo.png

Semantic MediaWiki
Popular open-source software for collaborative data management

A fast, highly scalable rule engine for existential rules and Datalog.


Wikipedia's free, collaborative knowledge base


Wikidata SPARQL Logs
Access logs from the Wikidata SPARQL Query Service