Automating Plant Design with Semantic Technology and Logical Reasoning IMarEST (Institute of Marine Engineering Science and Technology) - NZ/Auckland branch