Markus Krötzsch

Knowledge-Based Systems Group , TU Dresden , Germany

11 papers in the IJCAI proceedings

IJCAI 2022

Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)

with Camille Bourgaux, David Carral, Sebastian Rudolph, Michaël Thomazo

doi:10.24963/ijcai.2022/733

Details PDF

Simulating Sets in Answer Set Programming

with Sarah Alice Gaggl, Philipp Hanisch

doi:10.24963/ijcai.2022/365

Details PDF

IJCAI 2020

Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules

with David Carral

doi:10.24963/ijcai.2020/246

Details PDF

IJCAI 2019

Chasing Sets: How to Use Existential Rules for Expressive Reasoning

with David Carral, Irina Dragoste, Christian Lewe

doi:10.24963/ijcai.2019/225

Details PDF

IJCAI 2018

Attributed Description Logics: Reasoning on Knowledge Graphs

with Maximilian Marx, Ana Ozaki, Veronika Thost

doi:10.24963/ijcai.2018/743

Details PDF

IJCAI 2017

Logic on MARS: Ontologies for Generalised Property Graphs

with Maximilian Marx, Veronika Thost

doi:10.24963/ijcai.2017/165

Details PDF

Restricted Chase (Non)Termination for Existential Rules with Disjunctions

with David Carral, Irina Dragoste

doi:10.24963/ijcai.2017/128

Details PDF

IJCAI 2015

Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention)

with Pierre Bourhis, Sebastian Rudolph

Details PDF

IJCAI 2013

Computing Stable Models for Nonmonotonic Existential Rules

with Despoina Magka, Ian Horrocks

Details PDF

IJCAI 2011

Efficient Rule-Based Inferencing for OWL EL

doi:10.5591/978-1-57735-516-8/IJCAI11-444

Details PDF

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness

with Sebastian Rudolph

doi:10.5591/978-1-57735-516-8/IJCAI11-166

Details PDF