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

Management

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

Servletrecuperafoto.jpeg

Dr. Ana Ozaki

Vt.jpg

Dr.-Ing. Veronika Thost

Portrait-Georg-Wild.jpg

Georg Wild

Newest Publications

View full publication list

Markus Krötzsch, Daria Stepanova
Explainable Artificial Intelligence. Proceedings of the 15th Reasoning Web Summer School
Volume 11810 of LNCS, 2019. Springer
Details

Markus Krötzsch
Working with Knowledge Graphs
Course at EDBT Summer School 2019, Lyon, France, 2019
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32nd International Workshop on Description Logics, volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
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, 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), January 2019
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 Cruz, Aidan Hogan, Jie Song, Maxime Lefrançois, Fabien Gandon, eds., Proceedings of the 18th International Semantic Web Conference (ISWC'19), LNCS, October 2019. Springer
Details Download

Tom Hanika, Maximilian Marx, Gerd Stumme
The Exploration Game
Poster at Wikimania 2019, August 2019
Details Download

Maximilian Marx
SQID 2.0 — A Data Browser for Wikidata
Poster at Wikimania 2019, August 2019
Details Download

Tom Hanika, Maximilian Marx, Gerd Stumme
Discovering Implicational Knowledge in Wikidata
Presentation at Wikimania 2019, August 2019
Details Download

David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32st International Workshop on Description Logics (DL 2018), volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download

View full publication list

Courses


Completed Theses

Cfaed.jpg

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

Logo CPEC final RGB.svg

CPEC
Center for Perspicuous Computing

DIAMOND-Logo.png

DIAMOND
Data Integration and Access by Merging Ontologies and Databases

HAEC Logo.png

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

HAEC Logo.png

HAEC B08
High-Capacity Knowledge Processing Pipeline (HAEC Project B08)

Semantic MediaWiki logo.png

Semantic MediaWiki
Popular open-source software for collaborative data management

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

Wikidata-logo-en.svg

Wikidata
Wikipedia's free, collaborative knowledge base

Wikidata-sparql-logo.svg

Wikidata SPARQL Logs
Access logs from the Wikidata SPARQL Query Service