Spectra of Cardinality Queries over Description Logic Knowledge Bases

本研究探讨了描述逻辑本体中的基数查询光谱，提出了一类有效的计数查询。结果显示，对于$\mathcal{ALCIF}$本体，光谱形状为闭合于加法的$\mathbb{N} \cup \{ \infty \}$的子集，且大多数子逻辑的光谱更简单，具有重要的理论和应用价值。