Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen
Beitragende
Abstract
We extend the terminological formalism of the well-known description logic ALC from concept inclusions (CIs) to more general constraints formulated in the quantifier-free fragment of Boolean Algebra with Presburger Arithmetic (QFBAPA). In QFBAPA one can formulate Boolean combinations of inclusion constraints and numerical constraints on the cardinalities of sets. Our new formalism extends, on the one hand, so-called cardinality restrictions on concepts, which have been introduced two decades ago, and on the other hand the recently introduced statistical knowledge bases. Though considerably more expressive, our formalism has the same complexity (NExpTime) as cardinality restrictions on concepts. We will also introduce a restricted version of our formalism for which the complexity is ExpTime. This yields the until now unknown exact complexity of the consistency problem for statistical knowledge bases.
Details
Originalsprache | Englisch |
---|---|
Titel | Proceedings of GCAI 2017. 3rd Global Conference on Artificial Intelligence |
Seiten | 6-19 |
Seitenumfang | 14 |
Publikationsstatus | Veröffentlicht - 2017 |
Peer-Review-Status | Nein |
Externe IDs
ORCID | /0000-0002-4049-221X/work/142247954 |
---|