Sciweavers

Share
FROCOS
2009
Springer

Putting ABox Updates into Action

12 years 8 months ago
Putting ABox Updates into Action
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.
Conrad Drescher, Hongkai Liu, Franz Baader, Steffe
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where FROCOS
Authors Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
Comments (0)
books