Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

Browse by Current Cardiff authors

[up] Up a level
Number of items: 15.

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
file

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 - 05 August 2022.
file

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.
file

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.
file

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, 8/06/2020 -12/06/2020. -.
Item availability restricted.
file

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.
file

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.
file

Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X, Ortiz, Magdalena and Andresel, Medina 2020. A framework for exploratory query answering with ontologies. Presented at: 33rd International Workshop on Description Logics 2020, Rhodes, Greece, 12-14 September 2020.
file

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. -.
file

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, -.
file

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.
file

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.
file

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.
file

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.

This list was generated on Mon Jun 5 05:20:14 2023 BST.


Maintained by Cardiff University Information Services