Resolving inconsistency in building information using uncertain knowledge graphs: a case of building space management