Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture

In Semantic Web technologies, searching for a service means to identify components that can potentially satisfy the user needs in terms of outputs and effects (discovery), and that, when invoked by the customer, can fruitfully interact with her (contracting). In this paper, we present an application framework that encompasses both the discovery and the contracting steps, in a unified search process. In particular, we accommodate service discovery by ontology-based reasoning, and contracting by automated reasoning about policies published in a formal language. To this purpose, we consider a formal approach grounded on Computational Logic, and Abductive Logic Programming in particular. We propose a framework, called SCIFF Reasoning Engine, able to establish, by ontological and abductive reasoning, if a semantic web service and a requester can fruitfully inter-operate, taking as input the behavioral interfaces of both the participants, and producing as output a sort of a contract.

[1]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

[2]  Boris Motik,et al.  DLPconvert: Converting OWL DLP Statements to Logic Programs , 2005 .

[3]  Evelina Lamma,et al.  Web Service Contracting: Specification and Reasoning with SCIFF , 2007, ESWC.

[4]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[5]  Bijan Parsia,et al.  Pellet: An OWL DL Reasoner , 2004, Description Logics.

[6]  Francesco M. Donini,et al.  Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction , 2007, Int. J. Web Serv. Res..

[7]  Deborah L. McGuinness,et al.  Bringing Semantics to Web Services: The OWL-S Approach , 2004, SWSWPC.

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

[9]  Stefan Decker,et al.  Creating Semantic Web Contents with Protégé-2000 , 2001, IEEE Intell. Syst..

[10]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[11]  Jos de Bruijn,et al.  Web Service Modeling Ontology , 2005, Appl. Ontology.

[12]  Ian Horrocks,et al.  OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .

[13]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[14]  Pascal Hitzler,et al.  DLP - An introduction , 2005 .

[15]  Dieter Fensel,et al.  A Logical Framework for Web Service Discovery , 2004, SWS@ISWC.

[16]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[17]  Boris Motik,et al.  Reducing SHIQ-Description Logic to Disjunctive Datalog Programs , 2004, KR.

[18]  Evelina Lamma,et al.  Verifiable agent interaction in abductive logic programming: The SCIFF framework , 2008, TOCL.