On finite and unrestricted query entailment beyond SQ with number restrictions on transitive roles

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. -.

Preview

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

Item Type:	Conference or Workshop Item (Paper)
Status:	In Press
Schools:	Computer Science & Informatics
Funders:	ERC Starting grant 637277 FLEXILOG
Date of First Compliant Deposit:	28 June 2019
Date of Acceptance:	10 May 2019
Last Modified:	26 Oct 2022 06:59
URI:	https://orca.cardiff.ac.uk/id/eprint/123826

Citation Data

Cited 1 time in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item