Luciano Serafini Heiner Stuckenschmidt Holger Wache A Formal Investigation of Mapping Languages for Terminological Knowledge. 379-380 2005 conf/bnaic/2005 BNAIC db/conf/bnaic/bnaic2005.html#SerafiniSW05