Outcome of a Dagstuhl Seminar: Logics for Emerging Applications of Databases 2003