A description Logic for Extracting and Managing Complex Terminological and Structural Properties from Databases Schemes