Putting abox updates into action

  • Authors:

  • Conrad Drescher;Hongkai Liu;Franz Baader;Steffen Guhlemann;Uwe Petersohn;Peter Steinke;Michael Thielscher

  • Affiliations:

  • Department of Computer Science, Dresden University of Technology, Dresden, Germany;Department of Computer Science, Dresden University of Technology, Dresden, Germany;Department of Computer Science, Dresden University of Technology, Dresden, Germany;Department of Computer Science, Dresden University of Technology, Dresden, Germany;Department of Computer Science, Dresden University of Technology, Dresden, Germany;Department of Computer Science, Dresden University of Technology, Dresden, Germany;Department of Computer Science, Dresden University of Technology, Dresden, Germany

  • Venue:
  • FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, updates generate so-called Boolean ABoxes, which cannot be handled by traditional Description Logic reasoners. Second, iterated update operations result in very large Boolean ABoxes, which, however, contain a huge amount of redundant information. In this paper, we address both issues from a practical point of view.