Actions and Programs over Description Logic Knowledge Bases: A Functional Approach