TY  - RPRT
TI  - Efficient TBox Reasoning with Value Restrictions using the $\mathcal{FL}_{o}$wer reasoner
AU  - Franz Baader
AU  - Patrick Koopmann
AU  - Friedrich Michel
AU  - Anni-Yasmin Turhan
AU  - Benjamin Zarrieß
PY  - 2021
UR  - https://arxiv.org/abs/2107.12877
ID  - 2107.12877
ER  -