TY - RPRT TI - Partially Finite Model Reasoning in Description Logics Extended Version AU - Tomasz Gogacz AU - Filip Murlak AU - Marcin Przybyłko AU - Alexandra Rogova AU - Michał Skrzypczak PY - 2026 UR - https://arxiv.org/abs/2604.25549 ID - 2604.25549 ER -