TY  - RPRT
TI  - Efficient Computation of General Modules for ALC Ontologies (Extended Version)
AU  - Hui Yang
AU  - Patrick Koopmann
AU  - Yue Ma
AU  - Nicole Bidoit
PY  - 2023
UR  - https://arxiv.org/abs/2305.09503
ID  - 2305.09503
ER  -