Return to Article Details Semantic integration using formal ontologies Download Download PDF