EasyChair Smart Slide
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs