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...

Cijeli opis

Bibliografski detalji
Glavni autori: Drescher, C, Liu, H, Baader, F, Steinke, P, Thielscher, M
Format: Conference item
Izdano: Pasadena‚ California‚ USA 2009