Efficient Computation of General Modules for ALC Ontologies (Extended Version)

Open in new window