Reasoning with Attributed Description Logics. - Markus Krötzsch; Maximilian Marx 001; Ana Ozaki; Veronika Thost (Description Logics, 2017)

Logic on MARS: Ontologies for Generalised Property Graphs. - Maximilian Marx 001; Markus Krötzsch; Veronika Thost (IJCAI, 2017)

SQID: Towards Ontological Reasoning for Wikidata. - Maximilian Marx 001; Markus Krötzsch (ISWC (Posters, Demos & Industry Tracks), 2017)

Attributed Description Logics: Ontologies for Knowledge Graphs. - Markus Krötzsch; Maximilian Marx 001; Ana Ozaki; Veronika Thost (ISWC (1), 2017)

Preserving Constraints with the Stable Chase. - David Carral; Markus Krötzsch; Maximilian Marx 001; Ana Ozaki; Sebastian Rudolph (ICDT, 2018)

Attributed Description Logics: Reasoning on Knowledge Graphs. - Markus Krötzsch; Maximilian Marx 001; Ana Ozaki; Veronika Thost (IJCAI, 2018)

The Power of the Terminating Chase (Invited Talk). - Markus Krötzsch; Maximilian Marx 001; Sebastian Rudolph (ICDT, 2019)

Discovering Implicational Knowledge in Wikidata. - Tom Hanika; Maximilian Marx 001; Gerd Stumme (ICFCA, 2019)

Tuple-Generating Dependencies Capture Complex Values (Extended Abstract). - Maximilian Marx 001; Markus Krötzsch (Datalog, 2022)

Tuple-Generating Dependencies Capture Complex Values. - Maximilian Marx 001; Markus Krötzsch (ICDT, 2022)

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. - Martin Bromberger; Irina Dragoste; Rasha Faqeh; Christof Fetzer; Larry González; Markus Krötzsch; Maximilian Marx 001; Harish K. Murali; Christoph Weidenbach (TACAS (1), 2022)

Nemo: First Glimpse of a New Rule Engine. - Alex Ivliev; Stefan Ellmauthaler; Lukas Gerlach 002; Maximilian Marx 001; Matthias Meißner; Simon Meusel; Markus Krötzsch (ICLP, 2023)