Number restrictions on transitive roles in description logics with nominals

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X and Jung, Jean Christoph 2017. Number restrictions on transitive roles in description logics with nominals. Presented at: Thirty-First AAAI Conference on Artificial Intelligence, AAAI 2017, San Francisco, California, USA, 4-9 Feb 2017.

Preview

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

Abstract

We study description logics (DLs) supporting number restrictions on transitive roles. We first take a look at SOQ and SON with binary and unary coding of numbers, and provide algorithms for the satisfiability problem and tight complexity bounds ranging from EXPTIME to NEXPTIME. We then show that by allowing for counting only up to one (functionality), inverse roles and role inclusions can be added without losing decidability. We finally investigate DLs of the DLLite- family, and show that, in the presence of role inclusions, the core fragment becomes undecidable.

Item Type:	Conference or Workshop Item (Paper)
Status:	Unpublished
Schools:	Computer Science & Informatics
Funders:	EU's Horizon 2020 programme under the Marie Skodowska-Curie grant 663830
Related URLs:	http://aaai.org/ocs/index.php/AAAI/AAAI1...
Date of First Compliant Deposit:	4 June 2018
Last Modified:	23 Oct 2022 13:51
URI:	https://orca.cardiff.ac.uk/id/eprint/111931

Citation Data

Cited 9 times in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item