TY - JOUR
T1 - Putting ABox updates into action
AU - Drescher, Conrad
AU - Liu, Hongkai
AU - Baader, Franz
AU - Guhlemann, Steffen
AU - Petersohn, Uwe
AU - Steinke, Peter
AU - Thielscher, Michael
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://handle.uws.edu.au:8081/1959.7/549889
U2 - 10.1007/978-3-642-04222-5_13
DO - 10.1007/978-3-642-04222-5_13
M3 - Article
SN - 0302-9743
VL - 5749
SP - 214
EP - 229
JO - Lecture Notes in Computer Science
JF - Lecture Notes in Computer Science
ER -