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

Download PDF
Open Webpage

Franz Baader, Francesco Kriegel

Published: 01 Jan 2022, Last Modified: 04 Aug 2024KR 2022EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Ontologies based on Description Logic (DL) represent general background knowledge in a terminology (TBox) and the actual data in an ABox. DL systems can then be used to compute consequences (such a...