A Distributed Dynamic Description Logic