2025
Spectra of Cardinality Queries over Description Logic Knowledge Bases
AAAI 2025technical
Recent works have explored the use of counting queries coupled with Description Logic ontologies. The answer to such a query in a model of a knowledge base is either an integer or infinity, and its spectrum is the set of its answers over all models. While it is unclear how to compute and manipulate…