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, iterat...
| Main Authors: | , , , , , , |
|---|---|
| Format: | Conference item |
| Published: |
Trento‚ Italy
2009
|
| _version_ | 1826274284187680768 |
|---|---|
| author | Drescher, C Liu, H Baader, F Guhlemann, S Petersohn, U Steinke, P Thielscher, M |
| author_facet | Drescher, C Liu, H Baader, F Guhlemann, S Petersohn, U Steinke, P Thielscher, M |
| author_sort | Drescher, C |
| collection | OXFORD |
| description | 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. |
| first_indexed | 2024-03-06T22:41:07Z |
| format | Conference item |
| id | oxford-uuid:5b9739d7-33d4-49e9-92bc-8bd1d4f1819b |
| institution | University of Oxford |
| last_indexed | 2024-03-06T22:41:07Z |
| publishDate | 2009 |
| publisher | Trento‚ Italy |
| record_format | dspace |
| spelling | oxford-uuid:5b9739d7-33d4-49e9-92bc-8bd1d4f1819b2022-03-26T17:22:58ZPutting ABox Updates into ActionConference itemhttp://purl.org/coar/resource_type/c_5794uuid:5b9739d7-33d4-49e9-92bc-8bd1d4f1819bDepartment of Computer ScienceTrento‚ Italy2009Drescher, CLiu, HBaader, FGuhlemann, SPetersohn, USteinke, PThielscher, MWhen 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. |
| spellingShingle | Drescher, C Liu, H Baader, F Guhlemann, S Petersohn, U Steinke, P Thielscher, M Putting ABox Updates into Action |
| title | Putting ABox Updates into Action |
| title_full | Putting ABox Updates into Action |
| title_fullStr | Putting ABox Updates into Action |
| title_full_unstemmed | Putting ABox Updates into Action |
| title_short | Putting ABox Updates into Action |
| title_sort | putting abox updates into action |
| work_keys_str_mv | AT drescherc puttingaboxupdatesintoaction AT liuh puttingaboxupdatesintoaction AT baaderf puttingaboxupdatesintoaction AT guhlemanns puttingaboxupdatesintoaction AT petersohnu puttingaboxupdatesintoaction AT steinkep puttingaboxupdatesintoaction AT thielscherm puttingaboxupdatesintoaction |