Keyword:Horn-DL

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