Maximilian Marx

Maximilian Marx is a postdoctoral Researcher at the Faculty of Computer Science, Technische Universität Dresden, affiliated with the Knowledge-Based Systems research group. His work focuses on existential rules, description logics, and computational logic for knowledge graphs, including contributions to the Nemo rule system and the SQID browser for Wikidata.

• Education: Dipl.-Math. (Mathematics) and PhD in Computational Logic from Technische Universität Dresden.
• Research Interests:
  • Knowledge graph reasoning
  • Description logics and existential rules
  • Datalog-based verification tools
  • Semantic web technologies
  • Formal concept analysis

Publication Trends: His research spans theoretical logic (e.g., Datalog extensions, verification conditions) and practical applications (e.g., Wikidata tools). Key themes include knowledge representation, database theory, and semantic technologies.

Teaching: Lecturer for courses on Knowledge Graphs (2022–2024) and Database Theory (2022–2023). Collaborated with researchers like Markus Krötzsch and Gerd Stumme.