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.

[1]  Diego Calvanese,et al.  Dwq : Esprit Long Term Research Project, No 22469 on the Decidability of Query Containment under Constraints on the Decidability of Query Containment under Constraints , 2022 .

[2]  Francesco M. Donini,et al.  Reasoning in description logics , 1997 .

[3]  Alex Sinner,et al.  KRHyper - In Your Pocket , 2005, CADE.

[4]  Matthias Klusch,et al.  Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace , 2002, Autonomous Agents and Multi-Agent Systems.

[5]  Peter Crowther,et al.  The DIG Description Logic Interface , 2003, Description Logics.

[6]  Francesco M. Donini,et al.  Semantic-Based Bluetooth-RFID Interaction for Advanced Resource Discovery in Pervasive Contexts , 2008, Int. J. Semantic Web Inf. Syst..

[7]  Ian F. Akyildiz,et al.  Wireless sensor and actor networks: research challenges , 2004, Ad Hoc Networks.

[8]  Thorsten Liebig,et al.  A Tableaux-based Mobile DL Reasoner - An Experience Report , 2006, Description Logics.

[9]  Alexander Borgida,et al.  Description Logics in Data Management , 1995, IEEE Trans. Knowl. Data Eng..

[10]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[11]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[12]  Tommaso Di Noia,et al.  A Semantic-Based Fully Visual Application for Context-Aware Matchmaking and Request Refinement in Ubiquitous Computing , 2008, ICCSA.

[13]  Francesco M. Donini,et al.  Abductive Matchmaking using Description Logics , 2003, IJCAI.

[14]  Francesco M. Donini,et al.  Concept Abduction and Contraction in Description Logics , 2003, Description Logics.

[15]  Ian Horrocks,et al.  Description Logics as Ontology Languages for the Semantic Web , 2005, Mechanizing Mathematical Reasoning.

[16]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.

[17]  Peter Gärdenfors,et al.  Knowledge in Flux: Modeling the Dynamics of Epistemic States , 2008 .

[18]  Daniel Kuokka,et al.  Integrating information via matchmaking , 1996, Journal of Intelligent Information Systems.

[19]  Francesco M. Donini,et al.  Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach , 2007, J. Artif. Intell. Res..

[20]  Ian Horrocks,et al.  OIL: An Ontology Infrastructure for the Semantic Web , 2001, IEEE Intell. Syst..

[21]  Francesco M. Donini,et al.  Semantic-enhanced Bluetooth discovery protocol for m-commerce applications , 2006, Int. J. Web Grid Serv..

[22]  Matthias Klusch,et al.  Automated semantic web service discovery with OWLS-MX , 2006, AAMAS '06.

[23]  Alex Sinner,et al.  User Profiles and Matchmaking on Mobile Phones , 2005, INAP.

[24]  Tommaso Di Noia,et al.  A Nonmonotonic Approach to Semantic Matchmaking and Request Refinement in E-Marketplaces , 2007, Int. J. Electron. Commer..

[25]  Francesco M. Donini,et al.  Semantic based collaborative P2P in ubiquitous computing , 2005, The 2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI'05).

[26]  Amihai Motro,et al.  VAGUE: a user interface to relational databases that permits vague queries , 1988, TOIS.

[27]  Sudhir Agarwal,et al.  SMART - a semantic matchmaking portal for electronic markets , 2005, Seventh IEEE International Conference on E-Commerce Technology (CEC'05).

[28]  Francesco M. Donini,et al.  Extending Semantic-Based Matchmaking via Concept Abduction and Contraction , 2004, EKAW.

[29]  Harry Chen,et al.  Dynamic Service Discovery for Mobile Computing: Intelligent Agents Meet Jini in the Aether , 2004, Cluster Computing.