Uniform interpolation for ALC revisited

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 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 languageEnglish
Title of host publicationAI 2009
Subtitle of host publicationAdvances in Artificial Intelligence - 22nd Australasian Joint Conference, Proceedings
PublisherSpringer
Pages528-537
Number of pages10
ISBN (Print)364210438X, 9783642104381
DOIs
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

Conference

Conference22nd Australasian Joint Conference on Artificial Intelligence, AI 2009
CountryAustralia
CityMelbourne, VIC
Period1/12/091/12/09

Fingerprint

Interpolation
Interpolate
Tableau
Description Logics
Knowledge Base
Correctness
Angle
Computing
Concepts

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Wang, Z., Wang, K., Topor, R., Pan, J. Z., & Antoniou, G. (2009). Uniform interpolation for ALC revisited. In AI 2009: Advances in Artificial Intelligence - 22nd Australasian Joint Conference, Proceedings (pp. 528-537). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5866 LNAI). Springer . https://doi.org/10.1007/978-3-642-10439-8_53

Uniform interpolation for ALC revisited. / Wang, Zhe; Wang, Kewen; Topor, Rodney; Pan, Jeff Z.; Antoniou, Grigoris.

AI 2009: Advances in Artificial Intelligence - 22nd Australasian Joint Conference, Proceedings. Springer , 2009. p. 528-537 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5866 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Wang, Z, Wang, K, Topor, R, Pan, JZ & Antoniou, G 2009, Uniform interpolation for ALC revisited. in AI 2009: Advances in Artificial Intelligence - 22nd Australasian Joint Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5866 LNAI, Springer , pp. 528-537, 22nd Australasian Joint Conference on Artificial Intelligence, AI 2009, Melbourne, VIC, Australia, 1/12/09. https://doi.org/10.1007/978-3-642-10439-8_53
Wang Z, Wang K, Topor R, Pan JZ, Antoniou G. Uniform interpolation for ALC revisited. In AI 2009: Advances in Artificial Intelligence - 22nd Australasian Joint Conference, Proceedings. Springer . 2009. p. 528-537. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-10439-8_53
Wang, Zhe ; Wang, Kewen ; Topor, Rodney ; Pan, Jeff Z. ; Antoniou, Grigoris. / Uniform interpolation for ALC revisited. AI 2009: Advances in Artificial Intelligence - 22nd Australasian Joint Conference, Proceedings. Springer , 2009. pp. 528-537 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{4cb0931b0a5c40e1ab3a3838da2b5244,
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 = "12",
day = "1",
doi = "10.1007/978-3-642-10439-8_53",
language = "English",
isbn = "364210438X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "528--537",
booktitle = "AI 2009",

}

TY - GEN

T1 - Uniform interpolation for ALC revisited

AU - Wang, Zhe

AU - Wang, Kewen

AU - Topor, Rodney

AU - Pan, Jeff Z.

AU - Antoniou, Grigoris

PY - 2009/12/1

Y1 - 2009/12/1

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.

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

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

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

M3 - Conference contribution

SN - 364210438X

SN - 9783642104381

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

PB - Springer

ER -