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 behavioural interfaces of both the participants, and producing as output a sort of a contract.

M. Alberti, M. Cattafi, F. Chesani, M. Gavanelli, E. Lamma, M. Montali, et al. (2009). Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. s.l : IEEE.

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

CHESANI, FEDERICO;MONTALI, MARCO;MELLO, PAOLA;TORRONI, PAOLO
2009

Abstract

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 behavioural interfaces of both the participants, and producing as output a sort of a contract.
2009
Proceeding of the IEEE International Conference on Web Services
254
261
M. Alberti, M. Cattafi, F. Chesani, M. Gavanelli, E. Lamma, M. Montali, et al. (2009). Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. s.l : IEEE.
M. Alberti; M. Cattafi; F. Chesani; M. Gavanelli; E. Lamma; M. Montali; P. Mello; P. Torroni
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/79314
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? 2
social impact