Towards explaining semantic matching.pdf

UNIVERSITY OF TRENTO DEPARTMENT OF INFORMATION MUNICATION TECHNOLOGY 38050 Povo – Trento (Italy), Via Sommarive 14 .it TOWARDS EXPLAINING SEMANTIC MATCHING Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia, and Paulo Pinheiro da Silva February 2004 Technical Report # DIT-04-019 Also:short version in Proceedings of the International Workshop on Description Logics, 2004. . Towards Explaining Semantic Matching Deborah L. McGuinness 1 Pavel Shvaiko 2 Fausto Giunchiglia 2 Paulo Pinheiro da Silva 1 1Stanford University, Stanford, USA { dlm,pp }***@. 2University of Trento, Povo, Trento, Italy { pavel,fausto }***@ Abstract Interoperability among systems using di?erent term vocabularies requires some mapping between terms in the vocabularies. Matching applications generate such mappings. When the matching process utilizes term mean- ing (instead of simply relying on syntax), we refer to the process as seman- tic matching. If users are to use the results of matching applications, they need information about the mappings. They need access to the sources that were used to determine relations between terms and potentially they need to understand any deductions performed on the information. In this paper, we present our approach to explaining semantic matching. Our ini- tial work uses a satis?ability-based approach to determine subsumption and semantic matches