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

Markus-Kroetzsch-2014-2-3.jpg

Prof. Dr. Markus Krötzsch

Management

Kati Michel.png

Kati Michel

SandySeifarth.jpg

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

Portrait-2016.jpg

Dipl.-Math. Maximilian Marx

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

Dr. Ana Ozaki

  • Former Research Associate
  • Knowledge-Based Systems
Vt.jpg

Dr.-Ing. Veronika Thost

Portrait-Georg-Wild.jpg

Georg Wild

  • Former Student Assistant
  • Knowledge-Based Systems

Newest Publications

View full publication list

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

Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog: Extended Abstract
Proceedings of the 31st International Workshop on Description Logics (DL 2018), to appear
Details Download

Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Happy Ever After: Temporally Attributed Description Logics
Proceedings of the 31st International Workshop on Description Logics (DL 2018), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download

David Carral
Reasoning with Horn DL Ontologies and Knowledge Graphs
Invited Talk at VU University Amsterdam, October 2018
Details

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

Adrian Bielefeldt, Julius Gonsior, Markus Krötzsch
Practical Linked Data Access via SPARQL: The Case of Wikidata
In Tim Berners-Lee, Sarven Capadisli, Stefan Dietze, Aidan Hogan, Krzysztof Janowicz, Jens Lehmann, eds., Proceedings of the WWW2018 Workshop on Linked Data on the Web (LDOW-18), volume 2073 of CEUR Workshop Proceedings, 2018. CEUR-WS.org
Details Download

Markus Krötzsch
Getting the most out of Wikidata
Invited presentation at Wiki Workshop 2018, 2018
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

View full publication list

Courses


Completed Theses

Cfaed.jpg

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

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