Conference item icon

Conference item

Putting ABox Updates into Action

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.

Actions


Authors


Conrad Drescher More by this author
Hongkai Liu More by this author
Franz Baader More by this author
Peter Steinke More by this author
Michael Thielscher More by this author
Publisher:
Pasadena‚ California‚ USA
Publication date:
2009
URN:
uuid:08779d2c-c301-438f-8611-8f37598a2363
Local pid:
cs:4777

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP