- 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.
- Publisher:
- Trento‚ Italy
- Publication date:
- 2009
- URN:
-
uuid:5b9739d7-33d4-49e9-92bc-8bd1d4f1819b
- Local pid:
- cs:4775
- Copyright date:
- 2009
Conference item
Putting ABox Updates into Action
Actions
Authors
Bibliographic Details
Terms of use
Metrics
Altmetrics
Dimensions
If you are the owner of this record, you can report an update to it here: Report update to this record