An OWL ontology for energy efficiency of skyscrapers