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
Steffen Guhlemann More by this author
Uwe Petersohn More by this author
Expand authors...
Publisher:
Trento‚ Italy
Publication date:
2009
URN:
uuid:5b9739d7-33d4-49e9-92bc-8bd1d4f1819b
Local pid:
cs:4775

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