Víctor Gutiérrez Basulto
Víctor Gutiérrez Basulto
Lecturer at Cardiff University
Verifierad e-postadress på cardiff.ac.uk - Startsida
Titel
Citeras av
Citeras 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
402012
Description logics of context
S Klarman, V Gutiérrez-Basulto
Journal of Logic and Computation 26 (3), 817-854, 2013
31*2013
On metric temporal description logics
V Gutierrez Basulto, JC Jung, A Ozaki
IOS Press 285, 837-845, 2016
302016
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
272015
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
262011
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
242017
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
242014
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
Temporalized EL ontologies for accessing temporal data: Complexity of atomic queries
V Gutierrez Basulto, JC Jung, R Kontchakov
222016
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
222013
Complexity of Branching Temporal Description Logics.
V Gutiérrez-Basulto, JC Jung, C Lutz
ECAI, 390-395, 2012
212012
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
18*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
17*2018
Reverse engineering queries in ontology-enriched systems: The case of expressive horn description logic ontologies
V Gutierrez Basulto, JC Jung, L Sabellek
132018
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
On finite and unrestricted query entailment beyond SQ with number restrictions on transitive roles
T Gogacz, V Gutierrez Basulto, Y Ibanez Garcia, JC Jung, F Murlak
32019
Quantified markov logic networks
V Gutiérrez-Basulto, JC Jung, O Kuzelka
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
32018
Answering regular path queries over sq ontologies
V Gutiérrez-Basulto, Y Ibáñez-García, JC Jung
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
32018
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20