TY - RPRT TI - Decidability of an Expressive Description Logic with Rational Grading AU - Mitko Yanchev PY - 2019 UR - https://arxiv.org/abs/1905.10338 ID - 1905.10338 ER -