Uniform Interpolation for ALC Revisited

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

doi:10.1007/978-3-642-10439-8_53

Uniform Interpolation for ALC Revisited

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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 language	English
Title of host publication	AI 2009: Advances in Artificial Intelligence
Subtitle of host publication	22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings
Editors	Ann Nicholson, Xiaodong Li
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	528-537
Number of pages	10
ISBN (Electronic)	978-3-642-10439-8
ISBN (Print)	978-3-642-10438-1
DOIs	https://doi.org/10.1007/978-3-642-10439-8_53
Publication status	Published - 16 Nov 2009
Event	AI 2009: 22nd Australasian Joint Conference - Melbourne, Australia Duration: 1 Dec 2009 → 4 Dec 2009 Conference number: 22

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer, Berlin, Heidelberg
Volume	5866
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	AI 2009: 22nd Australasian Joint Conference
Abbreviated title	AI 2009
Country/Territory	Australia
City	Melbourne
Period	1/12/09 → 4/12/09

Access to Document

10.1007/978-3-642-10439-8_53Licence: All Rights Reserved

https://link.springer.com/chapter/10.1007/978-3-642-10439-8_53Licence: All Rights Reserved

Cite this

Wang, Z., Wang, K., Topor, R., Pan, J. Z., & Antoniou, G. (2009). Uniform Interpolation for ALC Revisited. In A. Nicholson, & X. Li (Eds.), AI 2009: Advances in Artificial Intelligence: 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings (pp. 528-537). (Lecture Notes in Computer Science; Vol. 5866). Springer. https://doi.org/10.1007/978-3-642-10439-8_53

@inproceedings{0b889683b36f48d39807f2c62cb69909,

title = "Uniform Interpolation for ALC Revisited",

abstract = "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.",

author = "Zhe Wang and Kewen Wang and Rodney Topor and Pan, \{Jeff Z.\} and Grigoris Antoniou",

year = "2009",

month = nov,

day = "16",

doi = "10.1007/978-3-642-10439-8\_53",

language = "English",

isbn = "978-3-642-10438-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "528--537",

editor = "Ann Nicholson and Xiaodong Li",

booktitle = "AI 2009: Advances in Artificial Intelligence",

address = "United Kingdom",

note = "AI 2009: 22nd Australasian Joint Conference, AI 2009 ; Conference date: 01-12-2009 Through 04-12-2009",

}

Wang, Z, Wang, K, Topor, R, Pan, JZ & Antoniou, G 2009, Uniform Interpolation for ALC Revisited. in A Nicholson & X Li (eds), AI 2009: Advances in Artificial Intelligence: 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings. Lecture Notes in Computer Science, vol. 5866, Springer, Berlin, Heidelberg, pp. 528-537, AI 2009: 22nd Australasian Joint Conference, Melbourne, Australia, 1/12/09. https://doi.org/10.1007/978-3-642-10439-8_53

Uniform Interpolation for ALC Revisited. / Wang, Zhe; Wang, Kewen; Topor, Rodney et al.
AI 2009: Advances in Artificial Intelligence: 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings. ed. / Ann Nicholson; Xiaodong Li. Berlin, Heidelberg: Springer, 2009. p. 528-537 (Lecture Notes in Computer Science; Vol. 5866).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Uniform Interpolation for ALC Revisited

AU - Wang, Zhe

AU - Wang, Kewen

AU - Topor, Rodney

AU - Pan, Jeff Z.

AU - Antoniou, Grigoris

N1 - Conference code: 22

PY - 2009/11/16

Y1 - 2009/11/16

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.

U2 - 10.1007/978-3-642-10439-8_53

DO - 10.1007/978-3-642-10439-8_53

M3 - Conference contribution

SN - 978-3-642-10438-1

T3 - Lecture Notes in Computer Science

SP - 528

EP - 537

BT - AI 2009: Advances in Artificial Intelligence

A2 - Nicholson, Ann

A2 - Li, Xiaodong

PB - Springer

CY - Berlin, Heidelberg

T2 - AI 2009: 22nd Australasian Joint Conference

Y2 - 1 December 2009 through 4 December 2009

ER -

Wang Z, Wang K, Topor R, Pan JZ, Antoniou G. Uniform Interpolation for ALC Revisited. In Nicholson A, Li X, editors, AI 2009: Advances in Artificial Intelligence: 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings. Berlin, Heidelberg: Springer. 2009. p. 528-537. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-10439-8_53

Uniform Interpolation for ALC Revisited

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this