An infrastructure for formally ensuring interoperability in a heterogeneous semantic web