Yazmin Angélica Ibáñez-García

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 11

Top Topics

Number Restrictions

Description Logics

Publications

Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
Ontology Focusing: Knowledge-enriched Databases on Demand. CoRR (2019)
Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
Relaxing and Restraining Queries for OBDA. CoRR (2018)
Tomasz Gogacz, Yazmín Angélica Ibáñez-García, Filip Murlak
Finite Query Answering in Expressive Description Logics with Transitive Roles. CoRR (2018)
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung
Answering Regular Path Queries over SQ Ontologies. AAAI (2018)
Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
Taming Complex Role Inclusions for DL-Lite. Description Logics (2018)
Tomasz Gogacz, Yazmín Angélica Ibáñez-García, Filip Murlak
Finite Query Answering in Expressive Description Logics with Transitive Roles. KR (2018)
Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
Relaxing and Restraining Queries for OBDA - Extended Abstract. KR (2018)
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung
On Query Answering in Description Logics with Number Restrictions on Transitive Roles. Description Logics (2017)
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung
Number Restrictions on Transitive Roles in Description Logics with Nominals. AAAI (2017)
Yazmín Angélica Ibáñez-García, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
Modularity of Ontologies in an Arbitrary Institution. Logic, Rewriting, and Concurrency (2015)
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev
Queries with negation and inequalities over lightweight ontologies. J. Web Semant. 35 (2015)
Yazmín Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider
Finite Model Reasoning in Horn Description Logics. KR (2014)
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev
Conjunctive Queries with Negation over DL-Lite: A Closer Look. RR (2013)
Yazmín Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider
Finite Model Reasoning in Horn-SHIQ. Description Logics (2013)
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov
An Update on Query Answering with Restricted Forms of Negation. RR (2012)
Yazmín Angélica Ibáñez-García
Finite Model Reasoning in DL-Lite with Cardinality Constraints. Description Logics (2012)
Alessandro Artale, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Vladislav Ryzhikov
DL-Lite with Attributes and Sub-Roles (Extended Abstract). Description Logics (2011)
Enrico Franconi, Yazmín Angélica Ibáñez-García, Inanç Seylan
Query Answering with DBoxes is Hard. Electron. Notes Theor. Comput. Sci. 278 (2011)
Alessandro Artale, Diego Calvanese, Yazmín Angélica Ibáñez-García
Full Satisfiability of UML Class Diagrams. ER (2010)
Alessandro Artale, Diego Calvanese, Yazmín Angélica Ibáñez-García
Checking Full Satisfiability of Conceptual Models. Description Logics (2010)