A Formal Framework for Ontology Integration Based on a Default Extension to DDL -- A