Greetings From Athens
Hi All,
This is my first post!
Yesterday was quite a busy day: I was at the Semantic web and policy workshop (SWPW), where I gave a talk about recent work we did on WS-Policy, and also took part in a mini-panel discussion.
The talk went pretty well, with some interesting discussion afterwards. My paper was about doing policy intersection (determining whether two policies are compatible) with OWL Defaults. This was an extension of previous work, where we provided a translation of the core WS-Policy framework to OWL-DL. The main point of the talk was that we could use DL reasoning tools to do policy analysis and verification. There were questions about the expressiveness of the policies that we have formalized, especially when compared to other proposals that use full first order logic (or go beyond first order logic). My answer (to paraphrase) was that as the expressivity of the policy language increases useful formal analysis becomes harder (if not impossible) to do.The mini panel was quite an interesting experience as well.
A few words about the location: Athens is nice — dare I say, nicer than College Park. Although I’m not a big fan of spread out campuses like UMCP and UGA (I prefer urban campuses) , still, there is a really nice downtown area (I think it’s 4×4 blocks) in Athens which is stacked with nice dining options.
Vladimir Kolovski
