Semi-automated site equipment selection and configuration through formal knowledge representation and inference. (October 2018)