Keyword:Horn-DL

Papers
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs Franz Baader and Francesco Kriegel EasyChair Preprint no. 8552