Bienvenu, Meghyn, Cima, Gianluca, Gutiérrez-Basulto, Víctor  ORCID: https://orcid.org/0000-0002-6117-5459, Ibáñez-García, Yazmín  ORCID: https://orcid.org/0000-0002-1276-904X and Xiang, Zhiliang  ORCID: https://orcid.org/0000-0002-0263-7289
      2025.
      
      Recent advances in logic-based entity resolution.
      SIGMOD record
      54
      
        (3)
      
      , pp. 7-21.
      
      10.1145/3774303.3774305
    
  
    
       
    
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Xiang, Zhiliang  ORCID: https://orcid.org/0000-0002-0263-7289, Bienvenu, Meghyn, Cima, Gianluca, Gutierrez Basulto, Victor  ORCID: https://orcid.org/0000-0002-6117-5459 and Ibanez Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X
      2025.
      
      Advances in Logic-Based Entity Resolution: Enhancing ASPEN with Local Merges and Optimality Criteria.
      Presented at: 22nd International Conference on Principles of Knowledge Representation and Reasoning,
      Melbourne, Australia,
      November 11-17, 2025.
      
      
      
      
      
       
      
      
      
      
      
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Xiang, Zhiliang  ORCID: https://orcid.org/0000-0002-0263-7289, Bienvenu, Meghyn, Cima, Gianluca, Gutierrez Basulto, Victor  ORCID: https://orcid.org/0000-0002-6117-5459 and Ibanez Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X
      2024.
      
      ASPEN: ASP-Based system for collective entity resolution.
      Presented at: 21st International Conference on Principles of Knowledge Representation and Reasoning,
      Hanoi, Vietnam,
      2 - 8 November 2024.
      
      Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning — KR in the Wild.
      
      
      
       
      
      
      IJCAI Organization,
      pp. 788-799.
      10.24963/kr.2024/74
    
  
    
       
    
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Gutierrez Basulto, Victor  ORCID: https://orcid.org/0000-0002-6117-5459, Gutowski, Albert, Ibanez Garcia, Yazmin A.  ORCID: https://orcid.org/0000-0002-1276-904X and Murlak, Filip
      2024.
      
      Containment of graph queries modulo schema.
      Presented at: 2024 ACM SIGMOD/PODS International Conference on Management of Data,
      Santiago, Chile,
      9-14 June 2024.
      Published in: Agrawal, Divyakant ed.
      Proceedings of the ACM on Management of Data.
      
      
      
       
      
      
      Association for Computing Machinery,
      pp. 1-26.
      10.1145/3651140
    
  
    
    
       
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Akash Anil, Akash, Gutierrez Basulto, Victor  ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X and Schockaert, Steven  ORCID: https://orcid.org/0000-0002-9256-2881
      2024.
      
      Inductive knowledge graph completion with GNNs and rules: An analysis.
      Presented at: 2024 Joint International Conference On Computational Linguistics, Language Resources And Evaluation (LREC-COLING 2024),
      Turin, Italy,
      20-25 May 2024.
      
      Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation.
      
      
      
       
      
      
      ELRA and ICCL,
      pp. 9036-9049.
      
    
  
    
    
       
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Gutierrez Basulto, Victor  ORCID: https://orcid.org/0000-0002-6117-5459, Gutowski, Albert, Ibanez Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X and Murlak, Filip
      2023.
      
      Finite entailment of UCRPQs over ALC ontologies (Extended Abstract).
      Presented at: 32nd International Joint  Conference on Artificial Intelligence,
      Macao, China,
      19-25 August 2023.
      
      
      
      
      
       
      
      
      
      
      
    
  
    
       
    
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Gutierrez Basulto, Victor  ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X, Jung, Jean Christoph and Murlak, Filip
      2023.
      
      Answering regular path queries mediated by unrestricted SQ ontologies.
      Artificial Intelligence
      314
      
      
      , 103808.
      10.1016/j.artint.2022.103808
    
  
    
    
       
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Bienvenu, Meghyn, Cima, Gianluca, Gutierrez Basulto, Victor  ORCID: https://orcid.org/0000-0002-6117-5459 and Ibanez Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X
      2023.
      
      Combining global and local merges in logic-based entity resolution.
      Presented at: 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023),
      Rhodes, Greece,
      2-8 September 2023.
      Published in: Marquis, P., Son, T. C. and Kern-Isberner, G. eds.
      Proceedings of the International Conference on Knowledge Representation and Reasoning.
      
      
      
       
      
      
      Association for the Advancement of Artificial Intelligence,
      pp. 742-746.
      
    
  
    
       
    
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Gutierrez Basulto, Victor  ORCID: https://orcid.org/0000-0002-6117-5459, Gutowski, Albert, Ibanez Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X and Murlak, Filip
      2022.
      
      Finite entailment of UCRPQs over ALC Ontologies.
      Presented at: 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022),
      Haifa, Israel,
      31 July - 5 August 2022.
      
      Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning.
      
      
      
       
      
      
      International Joint Conferences on Artificial Intelligence,
      pp. 184-194.
      
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Schockaert, Steven  ORCID: https://orcid.org/0000-0002-9256-2881, Ibanez Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X and Gutierrez Basulto, Victor  ORCID: https://orcid.org/0000-0002-6117-5459
      2021.
      
      A description logic for analogical reasoning.
      Presented at: 30th International Joint Conference on Artificial Intelligence (IJCAI 2021),
      Virtual,
      21-26 August 2021.
      Published in: Zhou, Zhi-Hua ed.
      Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence.
      
      
      
       
      
      
      International Joint Conferences on Artificial Intelligence Organization,
      pp. 2040-2046.
      10.24963/ijcai.2021/281
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Schockaert, Steven  ORCID: https://orcid.org/0000-0002-9256-2881, Ibanez Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X and Gutierrez Basulto, Victor  ORCID: https://orcid.org/0000-0002-6117-5459
      2021.
      
      Modelling concept interpolation in description logics using abstract betweenness relations.
      Presented at: 34th International Workshop on Description Logics (DL 2021),
      Bratislava, Slovakia,
      19-22 September 2021.
      
      
      
      
      
       
      
      
      
      
      
    
  
    
       
    
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Andresel, Medina, Ibanez Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X and Ortiz, Magdalena
      2020.
      
      A framework for exploratory query answering with ontologies.
      Presented at: 33rd International Workshop on Description Logics 2020,
      Virtual / Rhodes, Greece,
      12-14 September 2020.
      Published in: Borgwardt, S. and Meyer, T. eds.
      CEUR Workshop Proceedings.
      
      
      
       , vol.2663
      
      
      CEUR-WS,
      
      
    
  
    
    
       
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Ibanez Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X, Gutierrez Basulto, Victor  ORCID: https://orcid.org/0000-0002-6117-5459 and Schockaert, Steven  ORCID: https://orcid.org/0000-0002-9256-2881
      2020.
      
      Plausible reasoning about EL-Ontologies using concept interpolation.
      Presented at: 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020),
      Rhodes, Greece,
      12-18 September 2020.
      
      Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning.
      
      
      
       
      
      
      IJCAI Organization,
      pp. 506-516.
      10.24963/kr.2020/51
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Gogacz, Tomasz, Gutierrez Basulto, Victor  ORCID: https://orcid.org/0000-0002-6117-5459, Gutowski, Albert, Ibanez Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X and Murlak, Filip
      2020.
      
      On finite entailment of non-local queries in description logics.
      Presented at: 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020),
      Rhodes, Greece,
      12-18 September 2020.
      
      Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning.
      
      
      
       
      
      
      IJCAI,
      pp. 423-432.
      
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Gogacz, Tomasz, Gutierrez Basulto, Victor  ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X, Murlak, Filip, Ortiz, Magdalena and Simkus, Mantas
      2020.
      
      Ontology focusing: knowledge-enriched databases on demand.
      Presented at: 24th European Conference on Artificial Intelligence (ECAI 2020),
      Santiago de Compostela, Spain,
      29 August - 8 September 2020.
      
      Proceedings of the  24th European Conference on Artificial Intelligence.
      
      Frontiers in Artificial Intelligence and Applications
      
       , vol.325
      
      
      IOS Press,
      pp. 745-752.
      10.3233/FAIA200162
    
  
    
    
       
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Gogacz, Tomasz, Gutierrez-Basulto, Victor  ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez-Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X, Jung, Jean Christoph and Murlak, Filip
      2019.
      
      On finite and unrestricted query entailment beyond SQ with number restrictions on transitive roles.
      Presented at: 28th International Joint Conference on Artificial Intelligence (IJCAI-19),
      Macao, China,
      10-16 August 2019.
      
      Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence.
      
      
      
       
      
      
      International Joint Conferences on Artificial Intelligence,
      pp. 1719-1725.
      10.24963/ijcai.2019/238
    
  
    
       
    
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Gutierrez Basulto, Victor  ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X and Jung, Jean Christoph
      2018.
      
      Answering regular path queries over SQ ontologies.
      Presented at: Thirty-Second AAAI Conference on Artificial Intelligence,
      New Orleans, LA, USA,
      2-7 February 2018.
      
      Thirty-Second AAAI Conference on Artificial Intelligence.
      
      
      
       
      
      
      AAAI Publications,
      -.
      
    
  
    
       
    
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Gogacz, Tomasz, Ibanez Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X and Murlak, Filip
      2018.
      
      Finite query answering in expressive description logics with transitive roles.
      Presented at: 16th International Conference on the Principles of Knowledge Representation and Reasoning,
      Tempe, Arizona, USA,
      27 October - 2 November 2018.
      Published in: Thielscher, Michael, Toni, Francesca and Wolter, Frank eds.
      Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).
      
      
      
       
      
      Palo Alto, California: 
      AAAI Press,
      pp. 369-378.
      
    
  
    
       
    
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Andresel, Medina, Ibanez Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X, Ortiz, Magdalena and Simkus, Mantas
      2018.
      
      Relaxing and restraining queries for OBDA (extended abstract).
      Presented at: 16th International Conference on the Principles of Knowledge Representation and Reasoning,
      Tempe, Arizona, USA,
      20 October - 2 November 2018.
      
      
      
      
      
       
      
      
      
      
      
    
  
    
       
    
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
  
      Gutierrez Basulto, Victor  ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X and Jung, Jean Christoph
      2017.
      
      Number restrictions on transitive roles in description logics with nominals.
      Presented at: Thirty-First AAAI Conference on Artificial Intelligence, AAAI 2017,
      San Francisco, California, USA,
      4-9 Feb 2017.
      
      
      
      
      
       
      
      
      
      
      
    
  
  
       | 
    
| 
        
  
  
       | 
    
        
  
   
      Ibanez, Yazmin Angelica  ORCID: https://orcid.org/0000-0002-1276-904X, Mossakowski, Till, Sannella, Donald and Tarlecki, Andrzej
      2015.
      Modularity of ontologies in an arbitrary institution.
       
      
      Logic, Rewriting, and Concurrency,
      Vol. 9200. 
      Lecture Notes in Computer Science, Theoretical Computer Science and General Issues,
      
      
       
      
      Springer Verlag,
      
      (10.1007/978-3-319-23165-5_17)
    
  
  
       
       
     
       | 
    
        
  
  
       
    
       | 
    
        
  
  
      Ibanez Garcia, Yazmin  ORCID: https://orcid.org/0000-0002-1276-904X, Lutz, Carsten and Schneider, Thomas
      2014.
      
      Finite model reasoning in horn description logics.
      Presented at: Fourteenth International Conference on Principles of Knowledge Representation and Reasoning,
      Vienna, Austria,
      20-24 July 2014.
      Published in: Baral, Chitta, De Giacomo, Giuseppe and Eiter, Thomas eds.
      KR'14: Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning.
      
      
      
       
      
      
      AAAI Press,
      pp. 288-297.
      
    
  
    
       
    
    
  
  
       
       
     
       | 
    
        
  
  
       
    
       | 
    

							

 Up a level