Pré-publication, Document de travail, LaHDAK, Informatique, Intelligence artificielle
Efficient Computation of General Modules for ALC Ontologies (Extended Version)
Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit. Efficient Computation of General Modules for ALC Ontologies (Extended Version). 2023. ⟨hal-04096870⟩