| 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 | 56 | 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 | 44 | 2015 |
| Full satisfiability of UML class diagrams A Artale, D Calvanese, A Ibáñez-García International Conference on Conceptual Modeling, 317-331, 2010 | 38 | 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 Y Ibánez-Garcıa, C Lutz, T Schneider Proc. of KR-14, 2014 | 19 | 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 Ibáñez-García, F Murlak arXiv preprint arXiv:1808.03130, 2018 | 13 | 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 | 10 | 2020 |
| 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 | 9 | 2018 |
| An update on query answering with restricted forms of negation V Gutiérrez-Basulto, YA Ibáñez-García, R Kontchakov Web Reasoning and Rule Systems: 6th International Conference, RR 2012 …, 2012 | 9 | 2012 |
| Checking full satisfiability of conceptual models A Artale, D Calvanese, A Ibánez-Garcıa 23rd International Workshop on Description Logics DL2010, 55, 2010 | 9 | 2010 |
| 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 |
| Ontology focusing: knowledge-enriched databases on demand T Gogacz, V Gutiérrez-Basulto, YA Ibáñez-García, F Murlak, M Ortiz, ... arXiv preprint arXiv:1904.00195, 2019 | 7 | 2019 |
| 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 | 4 | 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 | 4 | 2019 |
| Finite model reasoning in Horn-SHIQ Y Ibanez-Garcıa, C Lutz, T Schneider Proc. DL-13 1014, 234-245, 2013 | 4 | 2013 |
| 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 | 3 | 2020 |
| Finite model reasoning in DL-Lite with cardinality constraints Y Ibánez-Garcıa 25th International Workshop on Description Logics, 213, 2012 | 3 | 2012 |
| DL-Lite with attributes and sub-roles A Artale, Y Ibáñez-García, R Kontchakov, V Ryzhikov CEUR Workshop Proceedings, 2011 | 3 | 2011 |
| A description logic for analogical reasoning S Schockaert, Y Ibáñez-García, V Gutiérrez-Basulto arXiv preprint arXiv:2105.04620, 2021 | 2 | 2021 |
Víctor Gutiérrez BasultoCardiff UniversityVerifierad e-postadress på cardiff.ac.uk
