Putting ABox Updates into Action (Proceedings of the Seventh International Symposion on Frontiers of Combining Systems (FroCoS 2009), 2009)

(untitled) - Drescher, C; Liu, H; Baader, F; Guhlemann, S; Petersohn, U; Steinke, P; Thielscher, M