![]() | Up a level |
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 Schröder, 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: Twenty-Fifth International Joint Conference on Artificial Intelligence,
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,
pp. 1102-1108.
![]() |
![]() |
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, Ibanez-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 |
![]() |