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
402017
Attributed Description Logics: Reasoning on Knowledge Graphs.
M Krötzsch, M Marx, A Ozaki, V Thost
IJCAI, 5309-5313, 2018
312018
Attributed description logics: Ontologies for knowledge graphs
M Krötzsch, M Marx, A Ozaki, V Thost
International Semantic Web Conference, 418-435, 2017
232017
The power of the terminating chase (invited talk)
M Krötzsch, M Marx, S Rudolph
22nd International Conference on Database Theory (ICDT 2019), 2019
222019
Discovering Implicational Knowledge in Wikidata
T Hanika, M Marx, G Stumme
International Conference on Formal Concept Analysis, 315-323, 2019
212019
SQID: Towards Ontological Reasoning for Wikidata
M Marx, M Krötzsch
International Semantic Web Conference (ISWC'17), 2017
142017
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
122018
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
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
2022
Tuple-Generating Dependencies Capture Complex Values
M Marx, M Krötzsch
25th International Conference on Database Theory (ICDT 2022), 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–10