Efficient Computation of General Modules for ALC Ontologies
Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit. Efficient Computation of General Modules for ALC Ontologies. Proceedings of IJCAI-23, In press, pp.3356-3364. ⟨10.24963/ijcai.2023/374⟩. ⟨hal-04247207⟩