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

On query answering in description logics with number restrictions on transitive roles

Gutierrez Basulto, Victor, Ibanez-Garcia, Yazmin and Jung, Jean Christoph 2017. On query answering in description logics with number restrictions on transitive roles. Presented at: 30th International Workshop on Description Logics, Montpellier, France, 18-21 July 2017.

[img]
Preview
PDF - Accepted Post-Print Version
Download (402kB) | Preview

Abstract

We study query answering in the description logic SQ supporting number restrictions on both transitive and non-transitive roles. Our main contributions are (i) a tree-like model property for SQ knowledge bases and, building upon this, (ii) an automata based decision procedure for answering two-way regular path queries, which gives a 3ExpTime upper bound.

Item Type: Conference or Workshop Item (Paper)
Date Type: Completion
Status: Unpublished
Schools: Computer Science & Informatics
Funders: Europen Union Horizon 2020 programme
Date of First Compliant Deposit: 4 June 2018
Last Modified: 16 Aug 2018 16:21
URI: http://orca.cf.ac.uk/id/eprint/111932

Actions (repository staff only)

Edit Item Edit Item

Downloads

Downloads per month over past year

View more statistics