Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Exploiting Semantic Technology in Computational Logic-based Service Contracting
2009
CILC09-FE
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on their policies and goals. In previous work, the SCIFF abductive logic language was used to represent the services' policies, and the associated proof procedure to perform the contracting. In this paper, we build on that work in order to exploit the results of the Description Logics research area to represent domain specific knowledge, either by importing the knowledge encoded in an ontology into a SCIFF knowledge base, or by interfacing the SCIFF proof procedure to an existing ontological reasoner.
In proceedings
Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma
Marco Gavanelli, Fabrizio Riguzzi
CILC09: 24-esimo Convegno Italiano di Logica Computazionale
-
-
Ferrara, Italy
-
-
-
-
-
-
Export formats
Marco Alberti and Massimiliano Cattafi and Marco Gavanelli and Evelina Lamma, Exploiting Semantic Technology in Computational Logic-based Service Contracting, in: Marco Gavanelli and Fabrizio Riguzzi (eds), CILC09: 24-esimo Convegno Italiano di Logica Computazionale, Ferrara, Italy, 2009.
<a href="/people/members/view.php?code=bde07d722513741a0fa20a19209bc4a1" class="author">Marco Alberti</a>, Massimiliano Cattafi, Marco Gavanelli and Evelina Lamma, <b>Exploiting Semantic Technology in Computational Logic-based Service Contracting</b>, in: Marco Gavanelli and Fabrizio Riguzzi (eds), <u>CILC09: 24-esimo Convegno Italiano di Logica Computazionale</u>, Ferrara, Italy, 2009.
@inproceedings {CILC09-FE, author = {Marco Alberti and Massimiliano Cattafi and Marco Gavanelli and Evelina Lamma}, editor = {Marco Gavanelli and Fabrizio Riguzzi}, title = {Exploiting Semantic Technology in Computational Logic-based Service Contracting}, booktitle = {CILC09: 24-esimo Convegno Italiano di Logica Computazionale}, address = {Ferrara, Italy}, abstract = {Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on their policies and goals. In previous work, the SCIFF abductive logic language was used to represent the services' policies, and the associated proof procedure to perform the contracting. In this paper, we build on that work in order to exploit the results of the Description Logics research area to represent domain specific knowledge, either by importing the knowledge encoded in an ontology into a SCIFF knowledge base, or by interfacing the SCIFF proof procedure to an existing ontological reasoner.}, year = {2009}, }
Publication's urls
/publications/view.php?code=0b5524daa2b9d620d3d38592df7f11e5
/publications/view.php?code=CILC09-FE
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT