Verification of Description Logic Knowledge and Action Bases