Hierarchical Action Representation in aDescription

The syntax and semantics of such an action representation in a declarative executable action representation, with specialization and inheritance of pre-and postconditions, are described in a description logic.