Knowledge representation for automated process planning