In our pursuit of generic criteria for decidable ontology-based querying, we
introduce 'finite-cliquewidth sets' (FCS) of existential rules, a
model-theoretically defined class of rule sets, inspired by the cliquewidth
measure from graph theory. By a generic argument, we show that FCS ensures
decidability of entailment for a sizable class of queries (dubbed 'DaMSOQs')
subsuming conjunctive queries (CQs). The FCS class properly generalizes the
class of finite-expansion sets (FES), and for signatures of arity at most 2,
the class of bounded-treewidth sets (BTS). For higher arities, BTS is only
indirectly subsumed by FCS by means of reification. Despite the generality of
FCS, we provide a rule set with decidable CQ entailment (by virtue of
first-order-rewritability) that falls outside FCS, thus demonstrating the
incomparability of FCS and the class of finite-unification sets (FUS). In spite
of this, we show that if we restrict ourselves to single-headed rule sets over
signatures of arity at most 2, then FCS subsumes FUS.

该研究通过引入 “有限团宽集合”（FCS）来寻求可决定本体论查询的一般性标准，FCS 是一种模型理论定义的规则集类，受到图论中团宽的启发，这一类规则集确保了一类子句共有查询（DaMSOQs）的蕴涵可决定性，它们吸收了合取查询（CQs）并且限制于元数为 2 的符号。