Uniform Interpolation for ALC Revisited

Loading...
Thumbnail Image
File version
Author(s)
Wang, Zhe
Wang, Kewen
Topor, Rodney
Pan, Jeff Z
Antoniou, Grigoris
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Nicholson, A

Li, X

Date
2009
Size

115859 bytes

File type(s)

application/pdf

Location

Melbourne, AUSTRALIA

License
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.

Journal Title
Conference Title

AI 2009: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS

Book Title
Edition
Volume

5866

Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject

Information and computing sciences

Persistent link to this record
Citation