TY - GEN
T1 - Uniform interpolation for ALC revisited
AU - Wang, Zhe
AU - Wang, Kewen
AU - Topor, Rodney
AU - Pan, Jeff Z.
AU - Antoniou, Grigoris
PY - 2009/12/1
Y1 - 2009/12/1
N2 - The notion of uniform interpolation for description logic ALC has been introduced in [9]. 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.
AB - The notion of uniform interpolation for description logic ALC has been introduced in [9]. 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.
UR - http://www.scopus.com/inward/record.url?scp=78650474136&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-10439-8_53
DO - 10.1007/978-3-642-10439-8_53
M3 - Published conference contribution
AN - SCOPUS:78650474136
SN - 364210438X
SN - 9783642104381
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 528
EP - 537
BT - AI 2009
PB - Springer
T2 - 22nd Australasian Joint Conference on Artificial Intelligence, AI 2009
Y2 - 1 December 2009 through 1 December 2009
ER -