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

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

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:	12 Jul 2019 14:30
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