Addendum to: Pushing Optimal ABox Repair from š¯“”š¯“› Towards More Expressive Horn-DLs
Creators
- 1. Theoretical Computer Science, Technische UniversitƤt Dresden, Dresden, Germany
Description
This is an addendum to the following conference article and its accompanying technical report:
Franz Baader, Francesco Kriegel (2022). Pushing Optimal ABox Repair from š¯“”š¯“› Towards More Expressive Horn-DLs. In: Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 – August 5, 2022. Ed. by Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, pp. 22–32. DOI: 10.24963/kr.2022/3.
Franz Baader, Francesco Kriegel (2022). Pushing Optimal ABox Repair from š¯“”š¯“› Towards More Expressive Horn-DLs (Extended Version). LTCS-Report 22-02. Dresden, Germany: Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden. DOI: 10.25368/2022.131.
Files
BaKr-KR2022-addendum.pdf
Files
(167.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:6fc301091a238dd6ea2bdf3b8743a3c4
|
167.3 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Conference paper: 10.24963/kr.2022/3 (DOI)
- Technical note: 10.25368/2022.131 (DOI)