Triple graph example correlating an IFC graph and a CityGML graph. Dashed lines denote edges belonging to the correlation graph.