A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
ABox Abduction in the Description Logic $\boldsymbol{\mathcal{ALC}}$
2010
Journal of automated reasoning
Due to the growing popularity of Description Logics-based knowledge representation systems, predominantly in the context of Semantic Web applications, there is a rising demand for tools offering non-standard reasoning services. One particularly interesting form of reasoning, both from the user as well as the ontology engineering perspective, is abduction. In this paper we introduce two novel reasoning calculi for solving ABox abduction problems in the Description Logic ALC, i.e. problems of
doi:10.1007/s10817-010-9168-z
fatcat:kvdnqqzsinhbliwmqree3wcgfa