Tableau-based Forgetting in ALC Ontologies

File Size Format
67806_1.pdf 194Kb Adobe PDF View
Title Tableau-based Forgetting in ALC Ontologies
Author WANG, Zhe; Wang, Kewen; Topor, Rodney William; Zhang, Xiaowang
Publication Title ECAI 2010 - 19th European Conference on Artificial Intelligence
Editor Helder Coelho, Rudi Studer, Michael Wooldridge
Year Published 2010
Place of publication Amsterdam
Publisher IOS press
Abstract In this paper, we propose two new approaches to forgetting for [Ascr ][Lscr ][Cscr ] based on the well-known tableau algorithm. The first approach computes the result of forgetting by rolling up tableaux, and also provides a decision algorithm for the existence of forgetting in [Ascr ][Lscr ][Cscr ]. When the result of forgetting does not exist, we provide an incremental method for computing approximations of forgetting. This second approach uses variable substitution to refine approximations of forgetting and eventually obtain the result of forgetting. This approach is capable of preserving structural information of the original ontologies enabling readability and comparison. As both approaches are based on the tableau algorithm, their implementations can make use of the mechanisms and optimization techniques of existing description logic reasoners.
Peer Reviewed Yes
Published Yes
Alternative URI http://dx.doi.org/10.3233/978-1-60750-606-5-47
Copyright Statement Copyright 2010 IOS Press. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Please refer to the publisher website for access to the definitive, published version.
ISBN 978-1-60750-605-8
Conference name ECAI 2010 - 19th European Conference on Artificial Intelligence
Location Lisbon, Portugal
Date From 2010-08-16
Date To 2010-08-20
URI http://hdl.handle.net/10072/37747
Date Accessioned 2011-02-01
Language en_US
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Artificial Intelligence and Image Processing
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice