semi - automatically mapping structured sources into the semantic web .
A fast algorithm for Steiner trees