An algebra for semantic interoperability of information sources