The Configuration Design Ontologies and the VT Elevator Domain Theory.