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

Browse by Current Cardiff authors

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

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

Ibanez Garcia, Yazmin, 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, 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 Sat Oct 31 04:30:36 2020 GMT.