IFC-to-RDF: adaptation, aggregation and enrichment