Role of Logics in Information Systems (Dagstuhl Seminar 9529)