Yazmín Ibáñez-García

Orcid: 0000-0002-1276-904X

According to our database1, Yazmín Ibáñez-García authored at least 30 papers between 2010 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Inductive Knowledge Graph Completion with GNNs and Rules: An Analysis.
CoRR, 2023

Answering regular path queries mediated by unrestricted SQ ontologies.
Artif. Intell., 2023

Combining Global and Local Merges in Logic-based Entity Resolution.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022
Finite Entailment of UCRPQs over ALC Ontologies.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021
A Description Logic for Analogical Reasoning.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Modelling Concept Interpolation in Description Logics using Abstract Betweenness Relations.
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020
Plausible Reasoning about EL-Ontologies using Concept Interpolation.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

On Finite Entailment of Non-Local Queries in Description Logics.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Ontology Focusing: Knowledge-Enriched Databases on Demand.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

A Framework for Exploratory Query Answering with Ontologies.
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.
Proceedings of the 32nd International Workshop on Description Logics, 2019

Relaxing and Restraining Queries for OBDA.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Finite Query Answering in Expressive Description Logics with Transitive Roles.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Relaxing and Restraining Queries for OBDA - Extended Abstract.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Taming Complex Role Inclusions for DL-Lite.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Answering Regular Path Queries over SQ Ontologies.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
On Query Answering in Description Logics with Number Restrictions on Transitive Roles.
Proceedings of the 30th International Workshop on Description Logics, 2017

Number Restrictions on Transitive Roles in Description Logics with Nominals.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2015
Queries with negation and inequalities over lightweight ontologies.
J. Web Semant., 2015

Modularity of Ontologies in an Arbitrary Institution.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014
Finite Model Reasoning in Horn Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

2013
Conjunctive Queries with Negation over DL-Lite: A Closer Look.
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Finite Model Reasoning in Horn-SHIQ.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012
An Update on Query Answering with Restricted Forms of Negation.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Finite Model Reasoning in DL-Lite with Cardinality Constraints.
Proceedings of the 2012 International Workshop on Description Logics, 2012

2011
Query Answering with DBoxes is Hard.
Proceedings of the 7th Workshop on Methods for Modalities, 2011

DL-Lite with Attributes and Sub-Roles (Extended Abstract).
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010
Full Satisfiability of UML Class Diagrams.
Proceedings of the Conceptual Modeling, 2010

Checking Full Satisfiability of Conceptual Models.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010


  Loading...