Formal specification of industry foundation class concepts using engineering ontologies. | AMiner