Uniform Interpolation for ALC Revisited
View/ Open
Author(s)
Wang, Zhe
Wang, Kewen
Topor, Rodney
Pan, Jeff Z
Antoniou, Grigoris
Year published
2009
Metadata
Show full item recordAbstract
The notion of uniform interpolation for description logic ALC has been introduced in the literature. In this paper, we reformulate the uniform interpolation for ALC from the angle of forgetting and show that it satisfies all desired properties of forgetting. Then we introduce an algorithm for computing the result of forgetting in concept descriptions. We present a detailed proof for the correctness of our algorithm using the Tableau for ALC . Our results have been used to compute forgetting for ALC knowledge bases.The notion of uniform interpolation for description logic ALC has been introduced in the literature. In this paper, we reformulate the uniform interpolation for ALC from the angle of forgetting and show that it satisfies all desired properties of forgetting. Then we introduce an algorithm for computing the result of forgetting in concept descriptions. We present a detailed proof for the correctness of our algorithm using the Tableau for ALC . Our results have been used to compute forgetting for ALC knowledge bases.
View less >
View less >
Conference Title
AI 2009: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS
Volume
5866
Subject
Information and computing sciences