Knowledge Graphs, Description Logics and Reasoning on Data
Resources for the course:
In any case, do not hesitate to reach out.
Paper suggestions for final presentation:
- Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
On the non-efficient PAC learnability of conjunctive queries. Inf. Process. Lett. 183: 106431 (2024)
- Yvon K. Awuklu, Fleur Mougin, Romain Griffier, Meghyn Bienvenu, Vianney Jouhet:
Ontology-driven identification of inconsistencies in clinical data: A case study in lung cancer phenotyping. J. Biomed. Informatics 165: 104808 (2025)
- Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Zhiliang Xiang:
Recent Advances in Logic-Based Entity Resolution. SIGMOD Rec. 54(3): 7-21 (2025)
- Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Query and Predicate Emptiness in Ontology-Based Data Access. J. Artif. Intell. Res. 56: 1-59 (2016)
- Bartosz Bednarczyk, Sebastian Rudolph:
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC. J. Artif. Intell. Res. 78 (2023)
- Camille Bourgaux, Anton Gnatenko and Michaël Thomazo. Analysing Temporal Reasoning in Description Logics Using Formal Grammars
- Anton R. Gnatenko, Oliver Kutz, Nicolas Troquard:
Building an ontology of computational complexity. JOWO 2024
- Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krötzsch:
Verifying Datalog Reasoning with Lean. ITP 2025: 36:1-36:19
- Philipp Hanisch, Markus Krötzsch:
Chase Termination Beyond Polynomial Time. Proc. ACM Manag. Data 2(2): 93 (2024)
- Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch:
Nemo: A Scalable and Versatile Datalog Engine. Datalog 2024: 43-47
- Jacopo Urbani, Markus Krötzsch, Thomas Eiter:
Chasing Streams with Existential Rules. KR 2022
- Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph:
Schema-Agnostic Query Rewriting in SPARQL 1.1. ISWC (1) 2014: 584-600
- Markus Krötzsch:
P ≠ P - Why Some Reasoning Problems Are More Tractable Than Others. RR 2014: 1-22
- Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo:
A Gentle Introduction to Controlled Query Evaluation in DL-Lite Ontologies. SN Comput. Sci. 5(4): 335 (2024)
- Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
Inconsistency-tolerant query answering in ontology-based data access. J. Web Semant. 33: 3-29 (2015)
- Martin Giese, Ahmet Soylu, Guillermo Vega-Gorgojo, Arild Waaler, Peter Haase, Ernesto Jiménez-Ruiz, Davide Lanti, Martín Rezk, Guohui Xiao, Özgür L. Özçep, Riccardo Rosati:
Optique: Zooming in on Big Data. Computer 48(3): 60-67 (2015)
- Linfang Ding, Guohui Xiao, Albulen Pano, Mattia Fumagalli, Dongsheng Chen, Yu Feng, Diego Calvanese, Hongchao Fan, Liqiu Meng:
Integrating 3D city data through knowledge graphs. Geo spatial Inf. Sci. 28(2): 780-799 (2025)
- Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi:
Evaluating quality of ontology-driven conceptual models abstractions. Data Knowl. Eng. 153: 102342 (2024)
- Georg Gottlob, Marco Manna, Andreas Pieris:
Polynomial combined first-order rewritings for linear and guarded existential rules. Artif. Intell. 321: 103936 (2023)
- Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo:
Capturing Homomorphism-Closed Decidable Queries with Existential Rules. KR 2021: 141-150