Maximilian Marx

According to our database, Maximilian Marx authored at least 16 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs.

Alex Ivliev, Markus Krötzsch, Maximilian Marx

Proceedings of the Semantic Web - 23rd European Semantic Web Conference, 2026

Declarative Debugging for Datalog with Aggregation.

Raimund Dachselt, Lukas Gerlach, Philipp Hanisch, Alex Ivliev, Markus Krötzsch, Maximilian Marx, Julián Méndez

Proceedings of the Workshops of the EDBT/ICDT 2026 Joint Conference co-located with the EDBT/ICDT 2025 Joint Conference, 2026

2025

Nemo.

Markus Krötzsch, Alex Ivliev, Maximilian Marx, Lukas Gerlach, Nemo Contributors

Dataset, November, 2025

Attributed Logics for Reasoning over Knowledge Graphs.

Maximilian Marx

PhD thesis, 2025

2023

Nemo: First Glimpse of a New Rule Engine.

Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

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, Harish K. Murali, Christoph Weidenbach

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Tuple-Generating Dependencies Capture Complex Values.

Maximilian Marx, Markus Krötzsch

Proceedings of the 25th International Conference on Database Theory, 2022

Tuple-Generating Dependencies Capture Complex Values (Extended Abstract).

Maximilian Marx, Markus Krötzsch

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2019

Discovering Implicational Knowledge in Wikidata.

Tom Hanika, Maximilian Marx, Gerd Stumme

Proceedings of the Formal Concept Analysis - 15th International Conference, 2019

The Power of the Terminating Chase (Invited Talk).

Markus Krötzsch, Maximilian Marx, Sebastian Rudolph

Proceedings of the 22nd International Conference on Database Theory, 2019

2018

Attributed Description Logics: Reasoning on Knowledge Graphs.

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Preserving Constraints with the Stable Chase.

David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph

Proceedings of the 21st International Conference on Database Theory, 2018

2017

Attributed Description Logics: Ontologies for Knowledge Graphs.

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost

Proceedings of the Semantic Web - ISWC 2017, 2017

SQID: Towards Ontological Reasoning for Wikidata.

Maximilian Marx, Markus Krötzsch

Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

Logic on MARS: Ontologies for Generalised Property Graphs.

Maximilian Marx, Markus Krötzsch, Veronika Thost

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Reasoning with Attributed Description Logics.

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost

Proceedings of the 30th International Workshop on Description Logics, 2017