Our paper co-authored with Hesham Morgan (TU Wien), Ana Ozaki (U. Oslo), Aleksandar Pavlović (University of Applied Sciences Campus Vienna), Emanuel Sallinger (TU Wien) was accepted at the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026). [conference link] [technical report].