Uniform Interpolation for ALC Revisited

File Size Format
60548_1.pdf 113Kb Adobe PDF View
Title Uniform Interpolation for ALC Revisited
Author Wang, Jack; Wang, Kewen; Topor, Rodney William; Pan, Jeff Z.; Antoniou, Grigoris
Publication Title AI 2009: Advances in Artificial Intelligence
Editor A. E. Nicholson, X. Li
Year Published 2009
Place of publication Berlin
Publisher Springer Verlag
Abstract 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.
Peer Reviewed Yes
Published Yes
Alternative URI http://dx.doi.org/10.1007/978-3-642-10439-8_53
ISBN 978-3-642-10438-1
Conference name 22nd Australasian Joint Conference on Artificial Intelligence
Location Melbourne, Australia
Date From 2009-12-01
Date To 2009-12-04
URI http://hdl.handle.net/10072/31918
Date Accessioned 2010-03-01
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject PRE2009-Other Artificial Intelligence
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice