Checking e-service consistency using Description Logics

Luigi Dragone, Riccardo Rosati.
In 2007 IEEE International Conference on Services Computing (SCC 2007), pages 162-169, IEEE Computer Society Press, 2007.



We propose a new framework for the analysis of functional properties of e-services supporting the development of Cooperative Information Systems. The framework aims at extending and integrating different approaches providing both a rich domain specification and a suitable operational semantics of the e-service contract, on which we define functional consistency properties. It allows for specifying complex e-services based on the IOPE paradigm, in which the static properties of the modeled system are specified using a Description Logic knowledge base, as assumed in Semantic Web applications. Moreover, it enforces a minimal-change semantics for the axiomatization of the update operator and also includes the ability to reason about update repairing with respect to the domain constraints, thus allowing for incomplete service specification. On this foundation, we formally devise several consistency and validity properties of services, providing decidable checking procedures.

Bibtex entry:

@String{SCC-07 = "2007 IEEE International Conference on Services Computing (SCC 2007)"}

@String{IEEEP = "{IEEE} Computer Society Press"}

author = "Luigi Dragone and Riccardo Rosati",
title = "Checking e-service consistency using Description Logics",
booktitle = SCC-07,
pages = "162--169",
publisher = IEEEP,
year = 2007,