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

Browse by All Cardiff Authors

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 10.

Gogacz, Tomasz, Gutierrez Basulto, Victor, Ibanez Garcia, Yazmin, 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, Gutowski, Albert, Ibanez Garcia, Yazmin 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, Gutierrez Basulto, Victor and Schockaert, Steven 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

Gogacz, Tomasz, Gutierrez Basulto, Victor, Ibanez Garcia, Yazmin, 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, Ibanez Garcia, Yazmin 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

Gogacz, Tomasz, Ibanez Garcia, Yazmin 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

Andresel, Medina, Ibanez Garcia, Yazmin, 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

Gutierrez Basulto, Victor, Ibanez Garcia, Yazmin 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, 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, Lutz, Carsten and Schneider, Thomas 2014. Finite model reasoning in horn description logics. Presented at: 14th 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. 10.5555/3031929.3031965
file

This list was generated on Sun Aug 9 06:47:59 2020 BST.