Dagstuhl Seminar Logics for Databases and Information Systems 1998