TY  - RPRT
TI  - A New Tractable Description Logic under Categorical Semantics
AU  - Chan Le Duc
AU  - Ludovic Brieulle
PY  - 2026
UR  - https://arxiv.org/abs/2505.08916
ID  - 2505.08916
ER  -