Satisfiability checking and conjunctive query answering in description logics with global and local cardinality constraints

Research output: Contribution to journalConference articleContributedpeer-review

Contributors

Abstract

We consider an expressive description logic (DL) in which the global and local cardinality constraints introduced in previous papers can be mixed. On the one hand, we show that this does not increase the complexity of satisfiability checking and other standard inference problems. On the other hand, conjunctive query entailment in this DL turns out to be undecidable. We prove that decidability of querying can be regained if global and local constraints are not mixed and the global constraints are appropriately restricted.

Details

Original languageEnglish
JournalCEUR Workshop Proceedings
Volume2373
Publication statusPublished - 2019
Peer-reviewedYes

Workshop

TitleInternational Workshop on Description Logics 2019
Abbreviated titleDL 2019
Conference number32
Duration18 - 21 June 2019
LocationUniversity of Oslo
CityOslo
CountryNorway

External IDs

Scopus 85067188391
ORCID /0000-0002-4049-221X/work/142247950

Keywords