A Survey of Revision Approaches in Description Logics

  • Authors:

  • Guilin Qi;Fangkai Yang

  • Affiliations:

  • Institute AIFB, Universität Karlsruhe (TH), Germany;Fangkai Yang Multi-Agent System Lab, University of Science and Technology of China, Hefei, China

  • Venue:
  • RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
  • Year:
  • 2008

  • Tempus Fugit

    ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications

  • Revising horn theories

    IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two

  • A unifying perspective on knowledge updates

    JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence

Quantified Score

Hi-index 0.00

Visualization

Abstract

Revision of a Description Logic-based ontology to incorporate newly received information consistently is an important problem for the lifecycle of ontologies. Many approaches in the theory of belief revision have been applied to deal with this problem and most of them focus on the postulates or the logical properties of a revision operator in Description Logics (DLs). However, there is no coherent view on how to characterize a revision operator in DLs. In this paper, we lay bare the assumptions underlying different approaches for revision in DLs and propose some criteria to compare them. Based on the analysis, we give our definition of a revision operator in DLs and point out some open problems.