The Complexity of the Consistency Problem in the Probabilistic Description Logic ALCME
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Abstract
The probabilistic Description Logic ALCME is an extension of the Description Logic ALC that allows for uncertain conditional statements of the form “if C holds, then D holds with probability p,” together with probabilistic assertions about individuals. In ALCME, probabilities are understood as an agent’s degree of belief. Probabilistic conditionals are formally interpreted based on the so-called aggregating semantics, which combines a statistical interpretation of probabilities with a subjective one. Knowledge bases of ALCME are interpreted over a fixed finite domain and based on their maximum entropy (ALCME ) model. We prove that checking consistency of such knowledge bases can be done in time polynomial in the cardinality of the domain, and in exponential time in the size of a binary encoding of this cardinality. If the size of the knowledge base is also taken into account, the combined complexity of the consistency problem is NP-complete for unary encoding of the domain cardinality and NExpTime-complete for binary encoding.
Details
Original language | English |
---|---|
Title of host publication | Frontiers of Combining Systems |
Editors | Andreas Herzig, Andrei Popescu |
Publisher | Springer |
Pages | 167-184 |
Number of pages | 18 |
ISBN (electronic) | 978-3-030-29007-8 |
ISBN (print) | 978-3-030-29006-1 |
Publication status | Published - 2019 |
Peer-reviewed | Yes |
Publication series
Series | Lecture Notes in Computer Science, Volume 11715 |
---|---|
ISSN | 0302-9743 |
Conference
Title | 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019 |
---|---|
Duration | 4 - 6 September 2019 |
City | London |
Country | United Kingdom |
External IDs
Scopus | 85071906610 |
---|---|
ORCID | /0000-0002-4049-221X/work/142247951 |
Bibtex | BaEKW19 |