TY  - RPRT
TI  - Querying Circumscribed Description Logic Knowledge Bases
AU  - Carsten Lutz
AU  - Quentin Manière
AU  - Robin Nolte
PY  - 2023
UR  - https://arxiv.org/abs/2306.04546
ID  - 2306.04546
ER  -