Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs.

Franz Baader, Francesco Kriegel

Browse the full KR paper archive.