Semantic Matchmaking of Web Resources with Local Closed-World Reasoning

Ontology languages like OWL allow for semantically rich annotation of resources (e.g., products advertised at on-line electronic marketplaces). The description logic (DL) formalism underlying OWL provides reasoning techniques that perform match-making on such annotations. This paper identifies peculiarities in the use of DL inferences for matchmaking that derive from OWL's open-world semantics, analyzes local closed-world reasoning for its applicability to matchmaking, and investigates the suitability of two nonmonotonic extensions to DL, autoepistemic DLs and DLs with circumscription, for local closed-world reasoning in the matchmaking context. An elaborate example of an electronic marketplace for PC product catalogs from the e-commerce domain demonstrates how these formalisms can be used to realize such scenarios.

[1]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[2]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[3]  Oren Etzioni,et al.  Tractable Closed World Reasoning with Updates , 1994, KR.

[4]  Riccardo Rosati,et al.  Autoepistemic Description Logics , 1997, IJCAI.

[5]  Werner Nutt,et al.  An Epistemic Operator for Description Logics , 1998, Artif. Intell..

[6]  Francesco M. Donini,et al.  A knowledge-based system for person-to-person e-commerce , 2001 .

[7]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[8]  J. Gonzalez-Castillo,et al.  Description logics for matchmaking of services , 2001 .

[9]  Francesco M. Donini,et al.  Description logics of minimal knowledge and negation as failure , 2002, TOCL.

[10]  Piero A. Bonatti,et al.  Towards Service Description Logics , 2002, JELIA.

[11]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[12]  Claudio Bartolini,et al.  Semantic web support for the business-to-business e-commerce lifecycle , 2002, WWW '02.

[13]  Mohand-Said Hacid,et al.  Request Rewriting-Based Web Service Discovery , 2003, International Semantic Web Conference.

[14]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[15]  Francesco M. Donini,et al.  A system for principled matchmaking in an electronic marketplace , 2003, WWW '03.

[16]  Boris Motik,et al.  Variance in e-Business Service Discovery , 2004, SWS@ISWC.

[17]  Franz Baader,et al.  Embedding defaults into terminological knowledge representation formalisms , 1995, Journal of Automated Reasoning.

[18]  Francesco M. Donini,et al.  A System for Principled Matchmaking in an Electronic Marketplace , 2004, Int. J. Electron. Commer..

[19]  Andrea Calì,et al.  A Description Logic Based Approach for Matching User Profiles , 2004, Description Logics.

[20]  Francesco M. Donini,et al.  Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace , 2004, ICEC '04.

[21]  Ian Horrocks,et al.  A Software Framework for Matchmaking Based on Semantic Web Technology , 2004, Int. J. Electron. Commer..

[22]  Boris Motik,et al.  Closed World Reasoning in the Semantic Web through Epistemic Operators , 2005, OWLED.

[23]  Chris Preist,et al.  Automated Business-to-Business Integration of a Logistics Supply Chain Using Semantic Web Services Technology , 2005, International Semantic Web Conference.

[24]  Franz Baader,et al.  A Description Logic Based Approach to Reasoning about Web Services , 2005, WWW 2005.

[25]  Carsten Lutz,et al.  Expressive Non-Monotonic Description Logics Based on Circumscription , 2006, KR 2006.

[26]  Boris Motik,et al.  Matching Semantic Service Descriptions with Local Closed-World Reasoning , 2006, ESWC.

[27]  Hans Tompits,et al.  Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning , 2006, ESWC.

[28]  Carsten Lutz,et al.  Description Logics with Circumscription , 2006, KR.

[29]  Ian Horrocks,et al.  Deciding Semantic Matching of Stateless Services , 2006, AAAI.

[30]  Stephan Grimm.  Intersection-Based Matchmaking for Semantic Web Service Discovery , 2007, Second International Conference on Internet and Web Applications and Services (ICIW'07).

[31]  Boris Motik,et al.  A Faithful Integration of Description Logics with Logic Programming , 2007, IJCAI.