Knowledge-Based Systems/en

From International Center for Computational Logic
Toggle side column

Knowledge-Based Systems/en

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

David Carral, Irina Dragoste, Markus Krötzsch
Reasoner = Logical Calculus + Rule Engine
KI, 2020
Details

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

David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)
Details

David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 24th European Conference on Artificial Intelligence (ECAI 2020)
Details

Markus Krötzsch
Computing Cores for Existential Rules with the Standard Chase and ASP
In Diego Calvanese, Esra Erdem, Michael Thielscher, eds., Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 603-613, 2020. 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, 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

View full publication list

Courses

Student projects


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)

Scads-logo.png

ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence

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