An OWL Ontology for High-rise building design