TY - RPRT TI - Query Answering in Lattice-based Description Logic AU - Krishna Manoorkar AU - Ruoding Wang PY - 2025 DO - 10.4204/eptcs.421.2 UR - https://arxiv.org/abs/2409.02289 ID - 2409.02289 ER -