Motivated by the matchmaking problem in electronic marketplaces, we study abduction in Description Logics. We devise suitable definitions of the problem, and show how they can model commonsense reasoning usually employed in analyzing classified announcements having a standardized terminology. We then describe a system partially implementing these ideas, and present a simple experiment, which shows the correspondence between the system behavior with human users judgement. 1 Motivation We describe several scenarios in which matchmaking [Di Noia et al., 2003; Sycara et a/., 2002; Di Sciascio et al., 2001; Trastour et al., 2002] is necessary, starting with a human situation and moving to more automated ones. Human matchmaking. Imagine you are looking for an apartment in London, UK. On a local newspaper, you published a classified ad, which we call D (for Demand), asking the following: Apt. required: Soho, 2 rooms, smoker, dog, garden, max 600/month. Phone xxx-yyyyy Since no one phoned you...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M.