Uniform Interpolation for ALC Revisited

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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
EditorsAnn Nicholson, Xiadong Li
PublisherSpringer-Verlag Berlin Heidelberg
Number of pages10
Volume5866 LNCS/LNAI
ISBN (Electronic)9873642104398
ISBN (Print)364210438X, 9783642104381
Publication statusPublished - 9 Nov 2009
Externally publishedYes
Event22nd Australasian Joint Conference on Artificial Intelligence - Melbourne, Australia
Duration: 1 Dec 20094 Dec 2009
Conference number: 22

Publication series

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


Conference22nd Australasian Joint Conference on Artificial Intelligence
Abbreviated titleAI 2009


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

Cite this