Satisfiability checking and conjunctive query answering in description logics with global and local cardinality constraints
Research output: Contribution to journal › Conference article › Contributed › peer-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 language | English |
---|---|
Journal | CEUR Workshop Proceedings |
Volume | 2373 |
Publication status | Published - 2019 |
Peer-reviewed | Yes |
Workshop
Title | International Workshop on Description Logics 2019 |
---|---|
Abbreviated title | DL 2019 |
Conference number | 32 |
Duration | 18 - 21 June 2019 |
Location | University of Oslo |
City | Oslo |
Country | Norway |
External IDs
Scopus | 85067188391 |
---|---|
ORCID | /0000-0002-4049-221X/work/142247950 |