| Query answering with DBoxes is hard E Franconi, YA Ibáñez-García, I Seylan Electronic Notes in Theoretical Computer Science 278, 71-84, 2011 | 57 | 2011 |
| Queries with negation and inequalities over lightweight ontologies V Gutiérrez-Basulto, Y Ibáñez-García, R Kontchakov, EV Kostylev Journal of Web Semantics 35, 184-202, 2015 | 49 | 2015 |
| Full satisfiability of UML class diagrams A Artale, D Calvanese, A Ibáñez-García International Conference on Conceptual Modeling, 317-331, 2010 | 36 | 2010 |
| Conjunctive queries with negation over DL-Lite: A closer look V Gutiérrez-Basulto, Y Ibañez-García, R Kontchakov, EV Kostylev Web Reasoning and Rule Systems: 7th International Conference, RR 2013 …, 2013 | 24 | 2013 |
| Finite model reasoning in horn description logics YA Ibánez-Garcıa, C Lutz, T Schneider Proc. KR 14, 2014 | 20 | 2014 |
| Finite model reasoning in Horn description logics Y Ibáñez-García, C Lutz, T Schneider Proceedings of the Fourteenth International Conference on Principles of …, 2014 | 18 | 2014 |
| Finite query answering in expressive description logics with transitive roles T Gogacz, Y Ibanez Garcia, F Murlak AAAI Press, 2018 | 15 | 2018 |
| On finite and unrestricted query entailment beyond SQ with number restrictions on transitive roles T Gogacz, V Gutiérrez-Basulto, Y Ibáñez-García, JC Jung, F Murlak arXiv preprint arXiv:2010.11503, 2020 | 12 | 2020 |
| Ontology focusing: Knowledge-enriched databases on demand T Gogacz, V Gutiérrez-Basulto, Y Ibáñez-García, F Murlak, M Ortiz, ... ECAI 2020, 745-752, 2020 | 12 | 2020 |
| An update on query answering with restricted forms of negation V Gutiérrez-Basulto, YA Ibáñez-García, R Kontchakov International Conference on Web Reasoning and Rule Systems, 75-89, 2012 | 11 | 2012 |
| Answering regular path queries over SQ ontologies V Gutiérrez-Basulto, Y Ibáñez-García, JC Jung Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 10 | 2018 |
| Number restrictions on transitive roles in description logics with nominals V Gutiérrez-Basulto, Y Ibáñez-García, JC Jung Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 8 | 2017 |
| Checking full satisfiability of conceptual models A Artale, D Calvanese, A Ibánez-Garcıa 23rd International Workshop on Description Logics DL2010, 55, 2010 | 8 | 2010 |
| Plausible reasoning about el-ontologies using concept interpolation Y Ibáñez-García, V Gutiérrez-Basulto, S Schockaert arXiv preprint arXiv:2006.14437, 2020 | 6 | 2020 |
| Answering regular path queries mediated by unrestricted SQ ontologies V Gutiérrez-Basulto, Y Ibáñez-García, JC Jung, F Murlak Artificial Intelligence 314, 103808, 2023 | 5 | 2023 |
| On finite entailment of non-local queries in description logics T Gogacz, V Gutiérrez-Basulto, A Gutowski, Y Ibáñez-García, F Murlak arXiv preprint arXiv:2006.16869, 2020 | 5 | 2020 |
| Relaxing and restraining queries for OBDA M Andreşel, Y Ibáñez-García, M Ortiz, M Šimkus Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2654-2661, 2019 | 5 | 2019 |
| Finite model reasoning in Horn-SHIQ Y Ibanez-Garcıa, C Lutz, T Schneider Proc. DL-13 1014, 234-245, 2013 | 4 | 2013 |
| Finite entailment of ucrpqs over ALC ontologies V Gutiérrez-Basulto, A Gutowski, Y Ibáñez-Garcıa, F Murlak arXiv preprint arXiv:2204.14261, 2022 | 3 | 2022 |
| A description logic for analogical reasoning S Schockaert, Y Ibáñez-García, V Gutiérrez-Basulto arXiv preprint arXiv:2105.04620, 2021 | 3 | 2021 |
Víctor Gutiérrez BasultoCardiff UniversityVerified email at cardiff.ac.uk
