Víctor Gutiérrez Basulto
Víctor Gutiérrez Basulto
Lecturer at Cardiff University
Verifierad e-postadress på cardiff.ac.uk - Startsida
TitelCiteras avÅr
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
30*2013
On metric temporal description logics
V Gutiérrez-Basulto, JC Jung, A Ozaki
Proceedings of the Twenty-second European Conference on Artificial …, 2016
282016
A closer look at the probabilistic description logic Prob-EL
VG Basulto, JC Jung, C Lutz, L Schröder
Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
262011
Two-dimensional description logics for context-based semantic interoperability
S Klarman, V Gutiérrez-Basulto
Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
252011
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
242015
ALC_ALC: A Context Description Logic
S Klarman, V Gutiérrez-Basulto
Proceedings of the 12th European Conference on Logics in Artificial …, 2010
24*2010
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
222017
Lightweight description logics and branching time: A troublesome marriage
V Gutiérrez-Basulto, JC Jung, T Schneider
Fourteenth International Conference on the Principles of Knowledge …, 2014
212014
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
212013
Temporalized EL ontologies for accessing temporal data: Complexity of atomic queries
V Gutierrez Basulto, JC Jung, R Kontchakov
202016
Complexity of Branching Temporal Description Logics.
V Gutiérrez-Basulto, JC Jung, C Lutz
ECAI, 390-395, 2012
192012
Lightweight temporal description logics with rigid roles and restricted TBoxes
V Gutiérrez-Basulto, JC Jung, T Schneider
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
16*2015
From knowledge graph embedding to ontology embedding? an analysis of the compatibility between vector space representations and rules
V Gutiérrez-Basulto, S Schockaert
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
12*2018
Reverse engineering queries in ontology-enriched systems: The case of expressive horn description logic ontologies
V Gutierrez Basulto, JC Jung, L Sabellek
102018
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
72012
Number restrictions on transitive roles in description logics with nominals
V Gutierrez-Basulto, Y Ibáñez-García, JC Jung
Thirty-First AAAI Conference on Artificial Intelligence, 2017
42017
Towards More Useful Description Logics of Time, Change and Context.
VD Gutiérrez-Basulto
University of Bremen, 2013
22013
Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs (Technical Report)
E Tsamoura, V Gutierrez-Basulto, A Kimmig
arXiv preprint arXiv:1911.07750, 2019
12019
Quantified Markov logic networks
V Gutiérrez-Basulto, JC Jung, O Kuzelka
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
12018
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20