Description Logic Knowledge and Action Bases