Víctor Gutiérrez Basulto
Title
Cited by
Cited by
Year
Towards a unifying approach to representing and querying temporal data in description logics
V Gutiérrez-Basulto, S Klarman
International Conference on Web Reasoning and Rule Systems, 90-105, 2012
392012
Description logics of context
S Klarman, V Gutiérrez-Basulto
Journal of Logic and Computation 26 (3), 817-854, 2013
36*2013
On metric temporal description logics
V Gutierrez Basulto, JC Jung, A Ozaki
IOS Press 285, 837-845, 2016
342016
Probabilistic description logics for subjective uncertainty
V Gutiérrez-Basulto, JC Jung, C Lutz, L Schröder
Journal of Artificial Intelligence Research 58, 1-66, 2017
312017
Queries with negation and inequalities over lightweight ontologies
V Gutierrez-Basulto, Y Ibanez-Garcia, R Kontchakov, EV Kostylev
Web Semantics: Science, Services and Agents on the World Wide Web 35, 184-202, 2015
312015
From knowledge graph embedding to ontology embedding? an analysis of the compatibility between vector space representations and rules
V Gutiérrez-Basulto, S Schockaert
arXiv preprint arXiv:1805.10461, 2018
30*2018
A Closer Look at the Probabilistic Description Logic Prob-EL.
V Gutiérrez-Basulto, JC Jung, C Lutz, L Schröder
AAAI, 2011
272011
Lightweight description logics and branching time: A troublesome marriage
V Gutierrez Basulto, JC Jung, T Schneider
AAAI Publications, 2014
262014
Two-dimensional description logics for context-based semantic interoperability
S Klarman, V Gutiérrez-Basulto
Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 2011
262011
Temporalized EL ontologies for accessing temporal data: Complexity of atomic queries
V Gutierrez Basulto, JC Jung, R Kontchakov
AAAI Press, 2016
252016
ALC_ALC: A Context Description Logic
S Klarman, V Gutiérrez-Basulto
Proceedings of the 12th European Conference on Logics in Artificial …, 2010
25*2010
Conjunctive queries with negation over DL-Lite: A closer look
V Gutiérrez-Basulto, Y Ibañez-García, R Kontchakov, EV Kostylev
International Conference on Web Reasoning and Rule Systems, 109-122, 2013
232013
Complexity of Branching Temporal Description Logics.
V Gutiérrez-Basulto, JC Jung, C Lutz
ECAI, 390-395, 2012
232012
Lightweight temporal description logics with rigid roles and restricted TBoxes
V Gutierrez Basulto, JC Jung
202015
Reverse engineering queries in ontology-enriched systems: The case of expressive horn description logic ontologies
V Gutierrez Basulto, JC Jung, L Sabellek
AAAI Press, 2018
152018
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
82012
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
62020
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
52018
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
52017
Beyond the grounding bottleneck: datalog techniques for inference in probabilistic logic programs
E Tsamoura, V Gutierrez-Basulto, A Kimmig
Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 10284 …, 2020
42020
The system can't perform the operation now. Try again later.
Articles 1–20