his projects provides you with an IFC-to-RDF conversion.