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...
Glavni autori: | Drescher, C, Liu, H, Baader, F, Guhlemann, S, Petersohn, U, Steinke, P, Thielscher, M |
---|---|
Format: | Conference item |
Izdano: |
Trento‚ Italy
2009
|
Slični predmeti
-
Putting ABox Updates into Action
od: Drescher, C, i dr.
Izdano: (2009) -
Updating ABoxes in DL−Lite
od: Calvanese, D, i dr.
Izdano: (2010) -
A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes.
od: Motik, B, i dr.
Izdano: (2006) -
On Prototypes for Winslett's Semantics of DL−Lite ABox Evolution
od: Kharlamov, E, i dr.
Izdano: (2011) -
Understanding Inexpressibility of Model−Based ABox Evolution in DL−Lite
od: Kharlamov, E, i dr.
Izdano: (2011)