Follow
Maximilian Marx
Title
Cited by
Cited by
Year
Logic on MARS: Ontologies for generalised property graphs
M Marx, M Krötzsch, V Thost
Proc. 26th Int. Joint Conf. on Artificial Intelligence (IJCAIą17), 1188--1194, 2017
452017
Attributed Description Logics: Reasoning on Knowledge Graphs.
M Krötzsch, M Marx, A Ozaki, V Thost
IJCAI, 5309-5313, 2018
372018
The power of the terminating chase (invited talk)
M Krötzsch, M Marx, S Rudolph
22nd International Conference on Database Theory (ICDT 2019), 2019
302019
Discovering Implicational Knowledge in Wikidata
T Hanika, M Marx, G Stumme
International Conference on Formal Concept Analysis, 315-323, 2019
262019
Attributed description logics: Ontologies for knowledge graphs
M Krötzsch, M Marx, A Ozaki, V Thost
International Semantic Web Conference, 418-435, 2017
242017
SQID: Towards Ontological Reasoning for Wikidata
M Marx, M Krötzsch
International Semantic Web Conference (ISWC'17), 2017
152017
Preserving Constraints with the Stable Chase
D Carral, M Krötzsch, M Marx, A Ozaki, S Rudolph
Proc. 21st Int. Conf. on Database Theory (ICDT'18), 2018
142018
A sorted datalog hammer for supervisor verification conditions modulo simple linear arithmetic
M Bromberger, I Dragoste, R Faqeh, C Fetzer, L González, M Krötzsch, ...
International Conference on Tools and Algorithms for the Construction and …, 2022
10*2022
Nemo: First glimpse of a new rule engine
A Ivliev, S Ellmauthaler, L Gerlach, M Marx, M Meißner, S Meusel, ...
Proc. 39th Int. Conf. on Logic Programming, ICLP, 2023
52023
Artifact for a sorted Datalog hammer for supervisor verification conditions modulo simple linear arithmetic (Jan 2022)
M Bromberger, I Dragoste, R Faqeh, C Fetzer, L González, M Krötzsch, ...
DOI: https://doi. org/10.5281/zenodo 5888272, 0
5
Reasoning with Attributed Description Logics
M Krötzsch, M Marx, A Ozaki, V Thost
Proc. 30th Int. Workshop on Description Logics (DLą17). CEUR Workshop …, 2017
32017
Tuple-Generating Dependencies Capture Complex Values
M Marx, M Krötzsch
25th International Conference on Database Theory (ICDT 2022), 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–12