An OWL ontology for highrise building design