TY  - RPRT
TI  - Category-theoretical Semantics of the Description Logic ALC (extended version)
AU  - Chan Le Duc
PY  - 2022
UR  - https://arxiv.org/abs/2110.08837
ID  - 2110.08837
ER  -