Uniform interpolation for ALC revisited

Zhe Wang*, Kewen Wang, Rodney Topor, Jeff Z. Pan, Grigoris Antoniou

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingPublished conference contribution

5 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationAI 2009
Subtitle of host publicationAdvances in Artificial Intelligence - 22nd Australasian Joint Conference, Proceedings
Number of pages10
ISBN (Print)364210438X, 9783642104381
Publication statusPublished - 1 Dec 2009
Event22nd Australasian Joint Conference on Artificial Intelligence, AI 2009 - Melbourne, VIC, Australia
Duration: 1 Dec 20091 Dec 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5866 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference22nd Australasian Joint Conference on Artificial Intelligence, AI 2009
CityMelbourne, VIC


Dive into the research topics of 'Uniform interpolation for ALC revisited'. Together they form a unique fingerprint.

Cite this