Efficient Computation of General Modules for ALC Ontologies.

Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit

Browse the full IJCAI paper archive.