Number of items: 15.
Gogacz, Tomasz, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X, 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 ORCID: https://orcid.org/0000-0002-6117-5459, Gutowski, Albert, Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X 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.
|
|
Gogacz, Tomasz, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X, 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.
-.
|
|
Andresel, Medina, Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X, 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.
|
|
Gogacz, Tomasz, Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X 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.
|
|
Ibanez, Yazmin Angelica ORCID: https://orcid.org/0000-0002-1276-904X, 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 ORCID: https://orcid.org/0000-0002-1276-904X, 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.
|
|
This list was generated on Mon Jun 5 05:20:14 2023 BST.