A Formal Ontological Framework for Semantic Interoperability in the