On finite entailment of non-local queries in description logics

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. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. IJCAI, pp. 423-432.

Preview

PDF - Accepted Post-Print Version Download (323kB) | Preview

Item Type:	Conference or Workshop Item (Paper)
Date Type:	Publication
Status:	Published
Schools:	Schools > Computer Science & Informatics
Publisher:	IJCAI
ISBN:	9781713825982
Date of First Compliant Deposit:	3 July 2020
Date of Acceptance:	3 June 2020
Last Modified:	04 Sep 2025 13:34
URI:	https://orca.cardiff.ac.uk/id/eprint/132971

Actions (repository staff only)

Edit Item