Yazmín Angélica Ibáñez-García

22 papers A* 5A 1Journal 5Unranked 11
YearRankTypeTitle / Venue / Authors
2024 J jnl
Containment of Graph Queries Modulo Schema.
Proc. ACM Manag. Data
Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Angélica Ibáñez-García, Filip Murlak
2021 — conf
Modelling Concept Interpolation in Description Logics using Abstract Betweenness Relations.
Description Logics
Steven Schockaert, Yazmín Angélica Ibáñez-García, Víctor Gutiérrez-Basulto
2019 J jnl
Ontology Focusing: Knowledge-enriched Databases on Demand.
CoRR
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
2018 A* conf
Answering Regular Path Queries over SQ Ontologies.
AAAI
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung
2018 A* conf
Finite Query Answering in Expressive Description Logics with Transitive Roles.
KR
Tomasz Gogacz, Yazmín Angélica Ibáñez-García, Filip Murlak
2018 J jnl
Finite Query Answering in Expressive Description Logics with Transitive Roles.
CoRR
Tomasz Gogacz, Yazmín Angélica Ibáñez-García, Filip Murlak
2018 A* conf
Relaxing and Restraining Queries for OBDA - Extended Abstract.
KR
Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
2018 J jnl
Relaxing and Restraining Queries for OBDA.
CoRR
Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
2018 — conf
Taming Complex Role Inclusions for DL-Lite.
Description Logics
Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
2017 A* conf
Number Restrictions on Transitive Roles in Description Logics with Nominals.
AAAI
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung
2017 — conf
On Query Answering in Description Logics with Number Restrictions on Transitive Roles.
Description Logics
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung
2015 — conf
Modularity of Ontologies in an Arbitrary Institution.
Logic, Rewriting, and Concurrency
Yazmín Angélica Ibáñez-García, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
2015 J jnl
Queries with negation and inequalities over lightweight ontologies.
J. Web Semant.
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev
2014 A* conf
Finite Model Reasoning in Horn Description Logics.
KR
Yazmín Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider
2013 — conf
Conjunctive Queries with Negation over DL-Lite: A Closer Look.
RR
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev
2013 — conf
Finite Model Reasoning in Horn-SHIQ.
Description Logics
Yazmín Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider
2012 — conf
An Update on Query Answering with Restricted Forms of Negation.
RR
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov
2012 — conf
Finite Model Reasoning in DL-Lite with Cardinality Constraints.
Description Logics
Yazmín Angélica Ibáñez-García
2011 — conf
DL-Lite with Attributes and Sub-Roles (Extended Abstract).
Description Logics
Alessandro Artale, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Vladislav Ryzhikov
2011 — conf
Query Answering with DBoxes is Hard.
M4M/LAMAS
Enrico Franconi, Yazmín Angélica Ibáñez-García, Inanç Seylan
2010 — conf
Checking Full Satisfiability of Conceptual Models.
Description Logics
Alessandro Artale, Diego Calvanese, Yazmín Angélica Ibáñez-García
2010 A conf
Full Satisfiability of UML Class Diagrams.
ER
Alessandro Artale, Diego Calvanese, Yazmín Angélica Ibáñez-García