I am interested in query answering when there are conflicts in the database. In particular, I work with inconsistency-tolerant semantics in the ontology language of Datalog +/-. Understanding the complexity of existing inconsistency tolerant semantics and developing new more accurate semantics are my main interests.
In addition to that, I am interested in optimisation problems and their theoretical study.
I have obtained BA and MMath degrees in Mathematics at the University of Oxford. My master thesis "A Study of Weighted Clones" was awarded a Gibbs prize as one of the two best Mathematics master thesis at Oxford.
Explanations for Negative Query Answers under Existential Rules
İsmail İlkan Ceylan‚ Thomas Lukasiewicz‚ Enrico Malizia‚ Cristian Molinaro and Andrius Vaicenavičius
In Diego Calvanese and Esra Erdem, editors, Proceedings of 17th International Conference on Principles of Knowledge Representation and Reasoning‚ KR 2020‚ Rhodes‚ Greece‚ September 12−18‚ 2020. AAAI Press. September, 2020.
Explanations for Ontology−Mediated Query Answering in Description Logics
İsmail İlkan Ceylan‚ Thomas Lukasiewicz‚ Enrico Malizia and Andrius Vaicenavičius
In Giuseppe De Giacomo, editor, Proceedings of the 24th European Conference on Artificial Intelligence‚ ECAI 2020‚ Santiago de Compostela‚ Spain‚ June 8–12‚ 2020. IOS Press. June, 2020.
Explanations for Ontology−Mediated Query Answering in Description Logics (Extended Abstract)
İsmail İlkan Ceylan‚ Thomas Lukasiewicz‚ Enrico Malizia and Andrius Vaicenavicius
In Stefan Borgwardt and Thomas Meyer, editors, Proceedings of the 33rd International Workshop on Description Logics‚ DL 2020‚ co−located with the 17th International Conference on Principles of Knowledge Representation and Reasoning‚ KR 2020‚ Online Event [Rhodes‚ Greece]‚ September 12–14‚ 2020. Vol. 2663 of CEUR Workshop Proceedings. CEUR−WS.org. 2020.