ORCA
Online Research @ Cardiff

Clear Cookie - decide language by browser settings

Browse by Current Cardiff authors

Number of items: 30.

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.

Tsamoura, Efthymia, Gutierrez Basulto, Victor and Kimmig, Angelika 2020. Beyond the grounding bottleneck: Datalog techniques for inference in probabilistic logic programs. Presented at: Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), New York City, NY, USA, 7-12 February 2020.

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.

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.

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

Gutierrez Basulto, Victor and Schockaert, Steven 2018. From knowledge graph embedding to ontology embedding? An analysis of the compatibility between vector space representations and rules. Presented at: 16th International Conference on Principles of Knowledge Representation and Reasoning, Tempe, Arizona, 27 Oct - 2 Nov 2018.

Gutierrez Basulto, Victor, Jung, Jean Christoph and Sabellek, Leif 2018. Reverse engineering queries in ontology-enriched systems: the case of expressive horn description logic ontologies. Presented at: IJCAI-ECAI 2018, Stockholm, Sweden, 13-19 July 2018. Published in: Lang, Jerome ed. IJCAI'18: Proceedings of the 27th International Joint Conference on Artificial Intelligence. AAAI Press,

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

Gutierrez Basulto, Victor, Jung, Jean Christoph and Kuzelka, Ondrej 2018. Quantified Markov logic networks. Presented at: 16th International Conference on Principles of Knowledge Representation and Reasoning (KR-18), Tempe, Arizona, USA, 30 October-2 November 2018. International Conference on Principles of Knowledge Representation and Reasoning.

Gutierrez Basulto, Victor, Jung, Jean Christoph, Lutz, Carsten and Schroeder, Lutz 2017. Probabilistic description logics for subjective uncertainty. Journal of Artificial Intelligence Research 58 , pp. 1-66. 10.1613/jair.5222

Gutierrez Basulto, Victor, Ibanez-Garcia, Yazmin and Jung, Jean Christoph 2017. On query answering in description logics with number restrictions on transitive roles. Presented at: 30th International Workshop on Description Logics, Montpellier, France, 18-21 July 2017.

Gutierrez Basulto, Victor and Jung, Jean Christoph 2017. Combining DL-LiteNbool with branching time: a gentle marriage. Presented at: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, 19-25 August 2017. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Marina del Rey, Ca.: International Joint Conferences on Artificial Intelligence Organization, pp. 1074-1080. 10.24963/ijcai.2017/149

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.

Gutierrez Basulto, Victor, Jung, Jean Christoph and Kontchakov, Roman 2016. Temporalized EL ontologies for accessing temporal data: complexity of atomic queries. Presented at: 25th International Joint Conference on Artificial Intelligence (IJCAI-16), New York, NY, USA, 9-15 July 2016. Published in: Brewka, Gerhard ed. IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. AAAI Press,

Klarman, Szymon and Gutierrez Basulto, Victor 2016. Description logics of context. Journal of Logic and Computation 26 (3) , pp. 817-854. 10.1093/logcom/ext011

Gutierrez Basulto, Victor, Jung, Jean Christoph and Ozaki, Ana 2016. On metric temporal description logics. Presented at: 22nd European Conference on Artificial Intelligence, ECAI 2016, The Hague, The Netherlands, 29 August-2 September 2016. Published in: Kaminka, Gal A., Fox, Maria, Bouquet, Paolo, Hüllermeier, Eyke, Dignum, Virginia, Dignum, Frank and van Harmelen, Frank eds. Frontiers in Artifical Intelligence and Applications. Amsterdam: IOS Press, pp. 837-845. 10.3233/978-1-61499-672-9-837

Gutierrez Basulto, Victor, Jung, Jean Christoph and Kontchakov, Roman 2016. On decidability and tractability of querying in temporal EL. Presented at: 29th International Workshop on Description Logics, Cape Town, South Africa, 22-25 April 2016.

Gutierrez Basulto, Victor, Ibáñez-García, Yazmín, Kontchakov, Roman and Kostylev, Egor V. 2015. Queries with negation and inequalities over lightweight ontologies. Journal of Web Semantics 35 (4) , pp. 184-202. 10.1016/j.websem.2015.06.002

Gutierrez Basulto, Victor, Jung, Jean Christoph and Schneider, Thomas 2015. The complexity of temporal description logics with rigid roles and restricted TBoxes: in quest of saving a troublesome marriage. Presented at: 28th International Workshop on Description Logics, Athens, Greece, 7-10 June 2015.

Gutierrez Basulto, Victor, Jung, Jean Christoph and Schneider:, Thomas 2015. Lightweight temporal description logics with rigid roles and restricted TBoxes. Presented at: Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015.

Gutierrez Basulto, Victor, Jung, Jean Christoph and Schneider, Thomas 2014. Lightweight description logics and branching time: a troublesome marriage. Presented at: Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, KR 2014, Vienna, Austria, 20-24 July 2014. Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning. AAAI Publications,

Gutierrez Basulto, Victor, Ibanez-Garcia, Yazmin, Kontchakov, Roman and Kostylev, Egor V. 2013. Conjunctive queries with negation over DL-Lite: A closer look. Presented at: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, 27-29 July 2013. Published in: Faber, Wolfgang and Lembo, Domenico eds. Web Reasoning and Rule Systems: 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings. Lecture Notes in Computer Science Springer, pp. 109-122. 10.1007/978-3-642-39666-3_9

Gutierrez Basulto, Victor, Ibanez-Garcia, Yazmin and Kontchakov, Roman 2012. An update on query answering with restricted forms of negation. Presented at: 6th International Conference on Web Reasoning and Rule Systems, Vienna, Austria, 10-12 Sep 2012. Web Reasoning and Rule Systems. pp. 75-89. 10.1007/978-3-642-33203-6_7

Gutierrez Basulto, Victor and Klarman, Szymon 2012. Towards a unifying approach to representing and querying temporal data in description logics. Presented at: International Conference International Conference on Web Reasoning and Rule Systems, Vienna, Austria, 10-12 September 2012. Web Reasoning and Rule Systems. RR 2012. Lecture Notes in Computer Science Springer, pp. 90-105. 10.1007/978-3-642-33203-6_8

Gutierrez Basulto, Victor, Jung, Jean Christoph and Lutz, Carsten 2012. Complexity of branching temporal description logics. Presented at: 20th European Conference on Artificial Intelligence, ECAI 2012, Montpellier, France, 27-31 Aug 2012. Frontiers in Artificial Intelligence and Applications. IOS Press, pp. 390-395. 10.3233/978-1-61499-098-7-390

Gutierrez Basulto, Victor, Jung, Jean Christoph, Lutz, Carsten and Schroder, Lutz 2011. A closer look at the probabilistic description logic prob-EL. Presented at: Twenty-Fifth {AAAI} Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011.

Gutierrez Basulto, Victor, Jung, Jean Christoph, Lutz, Carsten and Schroder, Lutz 2011. The complexity of probabilistic EL. Presented at: 24th International Workshop on Description Logics, DL 2011, Barcelona, Spain, July 13-16, 2011.

Klarman, Szymon and Gutierrez Basulto, Victor 2011. Two-dimensional description logics for context-based semantic interoperability. Presented at: Twenty-Fifth {AAAI} Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011.

Klarman, Szymon and Gutierrez Basulto, Victor 2011. Two-dimensional description logics of context. Presented at: 24th International Workshop on Description Logics, DL 2011), Barcelona, Spain, July 13-16, 2011.

Klarman, Szymon and Gutierrez Basulto, Victor 2010. ALC_ALC: A context description logic. Presented at: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Logics in Artificial Intelligence. Lecture Notes in Computer Science Berlin, Heidelberg: Springer, 10.1007/978-3-642-15675-5_19

This list was generated on Fri Oct 23 04:25:58 2020 BST.

Export as	Atom RSS 1.0 RSS 2.0