Since for i=1,2 holds that[f ′ i ]∼K =h(f i), the unary types off ′ i and h(f i)agree

This map clearly defines the desired homomorphism

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

cs.LO · 2026-04-28 · unverdicted · novelty 7.0

Partially finite conjunctive query entailment in the description logic S is in 2-EXPTIME via infinite model surgery.

Showing 1 of 1 citing paper.

Partially Finite Model Reasoning in Description Logics Extended Version cs.LO · 2026-04-28 · unverdicted · none · ref 8
Partially finite conjunctive query entailment in the description logic S is in 2-EXPTIME via infinite model surgery.