![]() | 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. |
![]() |
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. |
![]() |
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.
![]() |
![]() |
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, 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,
-.
![]() |
|
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.
![]() |
|
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.
![]() |
![]() |
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. |
![]() |
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: 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.
![]() |
![]() |