DL Workshop 2006
5.31.2006
Over the past two days I’ve been participating in the Description Logic workshop. Yesterday I presented our work on incrementally updating tableau completion graphs under ABox additions and deletions. The talk went well and there were quite a few questions afterwards. First, Franz Baader made a statement regarding his earlier work using axiom pinpointing for ALC. Another question was related to how the approach will scale as the update sizes go up. There were also a few comments/suggestions on where we can apply the approach, which was nice feedback. After the talk, a few people also were very interested in getting a version of Pellet with this service. In particular some folks at DoCoMo research labs, are developing applications for mobile phones which use DL reasoning (on a server) to do some location based reasoning. As the phones emit position reports frequently, the have the need for incremental consistency checking. They seemed quite excited by our work and interested in using Pellet once we release a version with the incremental consistency checking support.
So far the most interesting paper has been Birte Glimm’s work on conjunctive query answering for queries which include transitive roles. In the paper, she proposes a technique for SHQ and SHOQ. Her presentation was very good and if your interested in this area you should definitely read the paper (see http://www.cs.man.ac.uk/~glimmbx/download/GlHS06a.pdf).
More to come soon.
