An OWL ontology for elevator design