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