“formal ontological approaches to semantic integration”