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 › peer-review

5 Citations (Scopus)

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
Subtitle of host publication	Advances in Artificial Intelligence - 22nd Australasian Joint Conference, Proceedings
Editors	Ann Nicholson, Xiadong Li
Publisher	Springer-Verlag Berlin Heidelberg
Pages	528-537
Number of pages	10
Volume	5866 LNCS/LNAI
ISBN (Electronic)	9873642104398
ISBN (Print)	364210438X, 9783642104381
DOIs	https://doi.org/10.1007/978-3-642-10439-8_53
Publication status	Published - 9 Nov 2009
Externally published	Yes
Event	22nd Australasian Joint Conference on Artificial Intelligence - Melbourne, Australia Duration: 1 Dec 2009 → 4 Dec 2009 Conference number: 22

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer-Verlag Berlin Heidelberg
Volume	5866 LNCS/LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	22nd Australasian Joint Conference on Artificial Intelligence
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: Unspecified

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, Proceedings (Vol. 5866 LNCS/LNAI, pp. 528-537). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5866 LNCS/LNAI). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-642-10439-8_53

Wang, Zhe ; Wang, Kewen ; Topor, Rodney et al. / Uniform Interpolation for ALC Revisited. AI 2009: Advances in Artificial Intelligence - 22nd Australasian Joint Conference, Proceedings. editor / Ann Nicholson ; Xiadong Li. Vol. 5866 LNCS/LNAI Springer-Verlag Berlin Heidelberg, 2009. pp. 528-537 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{285be5554064412493a6478298a814f7,

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

keywords = "Description Logic, Disjunctive Normal Form, Concept Description, Atomic Concept, Australian Student",

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

year = "2009",

month = nov,

day = "9",

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

language = "English",

isbn = "364210438X",

volume = "5866 LNCS/LNAI",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag Berlin Heidelberg",

pages = "528--537",

editor = "Ann Nicholson and Xiadong Li",

booktitle = "AI 2009",

address = "Germany",

note = "22nd Australasian Joint Conference on Artificial Intelligence, 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, Proceedings. vol. 5866 LNCS/LNAI, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5866 LNCS/LNAI, Springer-Verlag Berlin Heidelberg, pp. 528-537, 22nd Australasian Joint Conference on Artificial Intelligence, Melbourne, Victoria, 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, Proceedings. ed. / Ann Nicholson; Xiadong Li. Vol. 5866 LNCS/LNAI Springer-Verlag Berlin Heidelberg, 2009. p. 528-537 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5866 LNCS/LNAI).

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

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/9

Y1 - 2009/11/9

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.

KW - Description Logic

KW - Disjunctive Normal Form

KW - Concept Description

KW - Atomic Concept

KW - Australian Student

UR - http://www.scopus.com/inward/record.url?scp=78650474136&partnerID=8YFLogxK

UR - https://www.springer.com/gp/book/9783642104381

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

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

M3 - Conference contribution

AN - SCOPUS:78650474136

SN - 364210438X

SN - 9783642104381

VL - 5866 LNCS/LNAI

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 528

EP - 537

BT - AI 2009

A2 - Nicholson, Ann

A2 - Li, Xiadong

PB - Springer-Verlag Berlin Heidelberg

T2 - 22nd Australasian Joint Conference on Artificial Intelligence

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, Proceedings. Vol. 5866 LNCS/LNAI. Springer-Verlag Berlin Heidelberg. 2009. p. 528-537. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-10439-8_53

Uniform Interpolation for ALC Revisited

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this