Ifθ(f 1) = θ(f 2)thenh Q1(f 1)andh Q2(f 2)are∼ k·(|P|−s)-equivalent

Considerf 1,f 2 ∈Dthat are two coloured elements such thatf 1 ∈∆ Q1 andf 2 ∈∆ Q2 withQ 1,Q 2 ∈P s

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 7
Partially finite conjunctive query entailment in the description logic S is in 2-EXPTIME via infinite model surgery.