Wang, Kewen, Wang, Zhe, Topor, Rodney W., Pan, Jeff Z. and Antoniou, Grigoris (2009) Concept and Role Forgetting in ALC Ontologies. In: The Semantic Web: Proceedings of ISWC 2009. Lecture Notes on Computer Science, 5823 . Springer, pp. 666-681. ISBN 9783642049293
|PDF - Updated Version |
Restricted to Repository staff only
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 . 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 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 ontologies and state several important properties of forgetting in this setting. We then define the result of forgetting for concept descriptions in , 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 ontology does not exist in general, even for the special case of concept forgetting. This makes the problem of how to compute forgetting in more challenging. We address this problem by defining a series of approximations to the result of forgetting for 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.
|Item Type:||Book Chapter|
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
|Schools:||School of Computing and Engineering|
|Depositing User:||Grigoris Antoniou|
|Date Deposited:||03 Jul 2012 13:59|
|Last Modified:||03 Jul 2012 13:59|
Repository Staff Only: item control page