Concept and role forgetting in ALC ontologies

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

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

30 Citations (Scopus)

Abstract

Forgetting is an important tool for reducing ontologies by eliminating some concepts and roles while preserving sound and complete reasoning. Attempts have previously been made to address the problem of forgetting in relatively simple description logics (DLs) such as DL-Lite and extended εL. The ontologies used in these attempts were mostly restricted to TBoxes rather than general knowledge bases (KBs). However, the issue of forgetting for general KBs in more expressive description logics, such as ALC and OWL DL, is largely unexplored. In particular, the problem of characterizing and computing forgetting for such logics is still open. In this paper, we first define semantic forgetting about concepts and roles in ALC ontologies and state several important properties of forgetting in this setting. We then define the result of forgetting for concept descriptions in ALC , state the properties of forgetting for concept descriptions, and present algorithms for computing the result of forgetting for concept descriptions. Unlike the case of DL-Lite, the result of forgetting for an ALC ontology does not exist in general, even for the special case of concept forgetting. This makes the problem of how to compute forgetting in ALC more challenging. We address this problem by defining a series of approximations to the result of forgetting for ALC ontologies and studying their properties and their application to reasoning tasks. We use the algorithms for computing forgetting for concept descriptions to compute these approximations. Our algorithms for computing approximations can be embedded into an ontology editor to enhance its ability to manage and reason in (large) ontologies.

Original languageEnglish
Title of host publicationThe Semantic Web, ISWC 2009 - 8th International Semantic Web Conference, ISWC 2009, Proceedings
EditorsAbraham Bernstein, David R Karger, Tom Heath, Lee Feigenbaum, Diana Maynard, Enrico Motta, Krishnaprasad Thirunarayan
PublisherSpringer
Pages666-681
Number of pages16
ISBN (Print)364204929X, 9783642049293
DOIs
Publication statusPublished - 1 Dec 2009
Event8th International Semantic Web Conference, ISWC 2009 - Chantilly, VA, United States
Duration: 25 Oct 200929 Oct 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5823 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Semantic Web Conference, ISWC 2009
CountryUnited States
CityChantilly, VA
Period25/10/0929/10/09

Fingerprint

Ontology
Description Logics
Computing
Knowledge Base
Approximation
Reasoning
Concepts
Semantics
Acoustic waves
Logic
Series

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Wang, K., Wang, Z., Topor, R., Pan, J. Z., & Antoniou, G. (2009). Concept and role forgetting in ALC ontologies. In A. Bernstein, D. R. Karger, T. Heath, L. Feigenbaum, D. Maynard, E. Motta, & K. Thirunarayan (Eds.), The Semantic Web, ISWC 2009 - 8th International Semantic Web Conference, ISWC 2009, Proceedings (pp. 666-681). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5823 LNCS). Springer . https://doi.org/10.1007/978-3-642-04930-9_42

Concept and role forgetting in ALC ontologies. / Wang, Kewen; Wang, Zhe; Topor, Rodney; Pan, Jeff Z.; Antoniou, Grigoris.

The Semantic Web, ISWC 2009 - 8th International Semantic Web Conference, ISWC 2009, Proceedings. ed. / Abraham Bernstein; David R Karger; Tom Heath; Lee Feigenbaum; Diana Maynard; Enrico Motta; Krishnaprasad Thirunarayan. Springer , 2009. p. 666-681 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5823 LNCS).

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

Wang, K, Wang, Z, Topor, R, Pan, JZ & Antoniou, G 2009, Concept and role forgetting in ALC ontologies. in A Bernstein, DR Karger, T Heath, L Feigenbaum, D Maynard, E Motta & K Thirunarayan (eds), The Semantic Web, ISWC 2009 - 8th International Semantic Web Conference, ISWC 2009, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5823 LNCS, Springer , pp. 666-681, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, United States, 25/10/09. https://doi.org/10.1007/978-3-642-04930-9_42
Wang K, Wang Z, Topor R, Pan JZ, Antoniou G. Concept and role forgetting in ALC ontologies. In Bernstein A, Karger DR, Heath T, Feigenbaum L, Maynard D, Motta E, Thirunarayan K, editors, The Semantic Web, ISWC 2009 - 8th International Semantic Web Conference, ISWC 2009, Proceedings. Springer . 2009. p. 666-681. (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-04930-9_42
Wang, Kewen ; Wang, Zhe ; Topor, Rodney ; Pan, Jeff Z. ; Antoniou, Grigoris. / Concept and role forgetting in ALC ontologies. The Semantic Web, ISWC 2009 - 8th International Semantic Web Conference, ISWC 2009, Proceedings. editor / Abraham Bernstein ; David R Karger ; Tom Heath ; Lee Feigenbaum ; Diana Maynard ; Enrico Motta ; Krishnaprasad Thirunarayan. Springer , 2009. pp. 666-681 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{6e990e2e888843ef93808b175b8e45f2,
title = "Concept and role forgetting in ALC ontologies",
abstract = "Forgetting is an important tool for reducing ontologies by eliminating some concepts and roles while preserving sound and complete reasoning. Attempts have previously been made to address the problem of forgetting in relatively simple description logics (DLs) such as DL-Lite and extended εL. The ontologies used in these attempts were mostly restricted to TBoxes rather than general knowledge bases (KBs). However, the issue of forgetting for general KBs in more expressive description logics, such as ALC and OWL DL, is largely unexplored. In particular, the problem of characterizing and computing forgetting for such logics is still open. In this paper, we first define semantic forgetting about concepts and roles in ALC ontologies and state several important properties of forgetting in this setting. We then define the result of forgetting for concept descriptions in ALC , state the properties of forgetting for concept descriptions, and present algorithms for computing the result of forgetting for concept descriptions. Unlike the case of DL-Lite, the result of forgetting for an ALC ontology does not exist in general, even for the special case of concept forgetting. This makes the problem of how to compute forgetting in ALC more challenging. We address this problem by defining a series of approximations to the result of forgetting for ALC ontologies and studying their properties and their application to reasoning tasks. We use the algorithms for computing forgetting for concept descriptions to compute these approximations. Our algorithms for computing approximations can be embedded into an ontology editor to enhance its ability to manage and reason in (large) ontologies.",
author = "Kewen Wang and Zhe Wang and Rodney Topor and Pan, {Jeff Z.} and Grigoris Antoniou",
year = "2009",
month = "12",
day = "1",
doi = "10.1007/978-3-642-04930-9_42",
language = "English",
isbn = "364204929X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "666--681",
editor = "Abraham Bernstein and Karger, {David R } and Heath, {Tom } and Lee Feigenbaum and Diana Maynard and Enrico Motta and Krishnaprasad Thirunarayan",
booktitle = "The Semantic Web, ISWC 2009 - 8th International Semantic Web Conference, ISWC 2009, Proceedings",

}

TY - GEN

T1 - Concept and role forgetting in ALC ontologies

AU - Wang, Kewen

AU - Wang, Zhe

AU - Topor, Rodney

AU - Pan, Jeff Z.

AU - Antoniou, Grigoris

PY - 2009/12/1

Y1 - 2009/12/1

N2 - Forgetting is an important tool for reducing ontologies by eliminating some concepts and roles while preserving sound and complete reasoning. Attempts have previously been made to address the problem of forgetting in relatively simple description logics (DLs) such as DL-Lite and extended εL. The ontologies used in these attempts were mostly restricted to TBoxes rather than general knowledge bases (KBs). However, the issue of forgetting for general KBs in more expressive description logics, such as ALC and OWL DL, is largely unexplored. In particular, the problem of characterizing and computing forgetting for such logics is still open. In this paper, we first define semantic forgetting about concepts and roles in ALC ontologies and state several important properties of forgetting in this setting. We then define the result of forgetting for concept descriptions in ALC , state the properties of forgetting for concept descriptions, and present algorithms for computing the result of forgetting for concept descriptions. Unlike the case of DL-Lite, the result of forgetting for an ALC ontology does not exist in general, even for the special case of concept forgetting. This makes the problem of how to compute forgetting in ALC more challenging. We address this problem by defining a series of approximations to the result of forgetting for ALC ontologies and studying their properties and their application to reasoning tasks. We use the algorithms for computing forgetting for concept descriptions to compute these approximations. Our algorithms for computing approximations can be embedded into an ontology editor to enhance its ability to manage and reason in (large) ontologies.

AB - Forgetting is an important tool for reducing ontologies by eliminating some concepts and roles while preserving sound and complete reasoning. Attempts have previously been made to address the problem of forgetting in relatively simple description logics (DLs) such as DL-Lite and extended εL. The ontologies used in these attempts were mostly restricted to TBoxes rather than general knowledge bases (KBs). However, the issue of forgetting for general KBs in more expressive description logics, such as ALC and OWL DL, is largely unexplored. In particular, the problem of characterizing and computing forgetting for such logics is still open. In this paper, we first define semantic forgetting about concepts and roles in ALC ontologies and state several important properties of forgetting in this setting. We then define the result of forgetting for concept descriptions in ALC , state the properties of forgetting for concept descriptions, and present algorithms for computing the result of forgetting for concept descriptions. Unlike the case of DL-Lite, the result of forgetting for an ALC ontology does not exist in general, even for the special case of concept forgetting. This makes the problem of how to compute forgetting in ALC more challenging. We address this problem by defining a series of approximations to the result of forgetting for ALC ontologies and studying their properties and their application to reasoning tasks. We use the algorithms for computing forgetting for concept descriptions to compute these approximations. Our algorithms for computing approximations can be embedded into an ontology editor to enhance its ability to manage and reason in (large) ontologies.

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

U2 - 10.1007/978-3-642-04930-9_42

DO - 10.1007/978-3-642-04930-9_42

M3 - Conference contribution

SN - 364204929X

SN - 9783642049293

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

SP - 666

EP - 681

BT - The Semantic Web, ISWC 2009 - 8th International Semantic Web Conference, ISWC 2009, Proceedings

A2 - Bernstein, Abraham

A2 - Karger, David R

A2 - Heath, Tom

A2 - Feigenbaum, Lee

A2 - Maynard, Diana

A2 - Motta, Enrico

A2 - Thirunarayan, Krishnaprasad

PB - Springer

ER -