| 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 | 46 | 2017 |
| Attributed Description Logics: Reasoning on Knowledge Graphs. M Krötzsch, M Marx, A Ozaki, V Thost IJCAI, 5309-5313, 2018 | 43 | 2018 |
| The power of the terminating chase (invited talk) M Krötzsch, M Marx, S Rudolph 22nd International Conference on Database Theory (ICDT 2019), 2019 | 32 | 2019 |
| Discovering Implicational Knowledge in Wikidata T Hanika, M Marx, G Stumme International Conference on Formal Concept Analysis, 315-323, 2019 | 29 | 2019 |
| Attributed description logics: Ontologies for knowledge graphs M Krötzsch, M Marx, A Ozaki, V Thost International Semantic Web Conference, 418-435, 2017 | 24 | 2017 |
| 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 | 15 | 2018 |
| SQID: Towards Ontological Reasoning for Wikidata M Marx, M Krötzsch International Semantic Web Conference (ISWC'17), 2017 | 14 | 2017 |
| 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 | 12 | 2023 |
| 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 |
| 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 | 3 | 2017 |
| Tuple-Generating Dependencies Capture Complex Values M Marx, M Krötzsch 25th International Conference on Database Theory (ICDT 2022), 2022 | 1 | 2022 |
| 22nd International Conference on Database Theory (ICDT 2019) D Olteanu, L Getoor, M Krötzsch, M Marx, S Rudolph, A Kara, HQ Ngo, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019 | | 2019 |
| 21st International Conference on Database Theory (ICDT 2018) V Vassilevska Williams, K Yi, T Zeume, S Ahmetaj, M Ortiz, M Simkus, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018 | | 2018 |
Markus KrötzschTechnische Universität DresdenVerified email at tu-dresden.de
