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.

Preview

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

Item Type:	Conference or Workshop Item (Paper)
Status:	In Press
Schools:	Computer Science & Informatics
Date of First Compliant Deposit:	3 July 2020
Date of Acceptance:	3 June 2020
Last Modified:	07 Nov 2022 10:39
URI:	https://orca.cardiff.ac.uk/id/eprint/132971

Actions (repository staff only)

Edit Item