Ontologies: from Philosophy to Knowledge Integration