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: Drescher, C, Liu, H, Baader, F, Guhlemann, S, Petersohn, U, Steinke, P, Thielscher, M
格式: Conference item
出版: Trento‚ Italy 2009

相似書籍