Abstract
In this paper, we propose a new method for revising terminologies in description logic-based ontologies. Our revision method is a reformulation of the kernel revision operator in belief revision. We first define our revision operator for terminologies in terms of MIPS (minimal incoherence-preserving sub-terminologies), and we show that it satisfies some desirable logical properties. Second, two concrete algorithms are developed to implement the revision operator.
Original language | English |
---|---|
Title of host publication | Proceedings of the 21st International Workshop on Description Logics |
Editors | Franz Baader, Carsten Lutz, Boris Motik |
Publisher | CEUR-WS.org |
Number of pages | 10 |
Publication status | Published - 10 Jun 2008 |
Event | The 21st International Workshop on Description Logics 2008 - Dresden, Germany Duration: 13 May 2008 → 16 May 2008 Conference number: 353 http://dl.kr.org/dl2008/ |
Publication series
Name | CEUR Workshop Proceedings |
---|---|
Publisher | CEUR-WS.org |
Volume | 353 |
ISSN (Electronic) | 1613-0073 |
Conference
Conference | The 21st International Workshop on Description Logics 2008 |
---|---|
Abbreviated title | DL 2008 |
Country/Territory | Germany |
City | Dresden |
Period | 13/05/08 → 16/05/08 |
Internet address |