Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

Number restrictions on transitive roles in description logics with nominals

Gutierrez Basulto, Victor ORCID:, Ibanez Garcia, Yazmin ORCID: 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.

[thumbnail of GIJ17.pdf]
PDF - Accepted Post-Print Version
Download (381kB) | Preview


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:
Date of First Compliant Deposit: 4 June 2018
Last Modified: 23 Oct 2022 13:51

Citation Data

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

Actions (repository staff only)

Edit Item Edit Item


Downloads per month over past year

View more statistics