ISWC 2006 - Day 1
Hello from Athens, GA. I’m here attending ISWC 2006; today was the start of the various workshops preceding the conference. It was really fun as I got to see all of my old UGA colleagues, as well as many other friends in the community. Today I hopped around a few of the workshops, catching a variety of interesting talks.
I started the morning at the Scalable Semantic Web Knowledge Base Systems workshop, which was kicked off with a keynote given by Boris Motik. His talk was very interesting and focused on extending OWL-DL with constraints. Among other things, he provided a reduction to logic programming if the underlying TBox does not have existentials. His talk was interesting and provides an interesting direction that addresses complaints about constraints in OWL. There were a variety of interesting talks given in the workshop, including one by our friend Achille Fokoue from IBM. His talked (paper titled ‘Using Abstract Evaluation in ABox Reasoning’) discussed extensions of their recent work on summary ABoxes, in particular analyzing the summaries for optimization in DL reasoning. The talk was interesting so definitely check out the paper.
Later in the afternoon, I also attended Vlad’s talk on reducing WS-policy to OWL-DL extended with default rules. His talk was very good and he fielded questions from the audience very well. The main issues raised regarded supporting quantitative reasoning in OWL-DL, as this is a requirement in many real policy applications.
The last talk I wanted to point out was an invited talk in the Modularity workshop, given my Frank Wolter. His talked centered on addressing different types of conservative extensions for modularity purposes. His talk was quite interesting and even mentioned quite a bit of Bernardo’s recent work (good work Bernardo!). Anyway, it was a nice talk, and worth mentioning.
Anyway, there are many more days to go, so I’ll post again soon.
-Christian Halaschek-Wiener
