Concept abduction and contraction in semantic-based P2P environments

Reasoning engines are largely used in resource discovery and matchmaking scenarios where, given a request, they are able to provide a list of compatible items arranged in relevance order. A significant added value is the possibility to explain match outcomes in order to obtain information for modifying or refining early queries. Though the feasibility of running logic-based reasoning tasks over various knowledge bases has been widely proven on fixed servers, it is a challenging subject to execute inference processes on handheld devices. The paper presents a revised lightweight version of abduction and contraction algorithms (going back to previous works) for matchmaking in Description Logics in mobile ad-hoc contexts. Implementation and tests have been carried out in a mobile P2P case study based on a simplified Bluetooth interaction paradigm.