Boosting autonomous process design and intensification with formalized domain knowledge. (January 2023)