Abstract Service interface description languages such as WSDL, and related standards, are
evolving rapidly to provide a foundation for interoperation between Web services. At the …

Current industry standards for describing Web Services focus on ensuring interoperability
across diverse platforms, but do not provide a good foundation for automating the use of …

Matchmaking arises when supply and demand meet in an electronic marketplace, or when
agents search for a web service to perform some task, or even when recruiting agencies …

Skills management has been recently acknowledged as one of the key factors to adequately
face the increasing competitiveness between knowledge intensive companies. In this paper …

In this paper we present a Description Logic approach to extended matchmaking between
Demands and Supplies in an Electronic Marketplace, which allows the semantic-based …

Motivated by the matchmaking problem in electronic marketplaces, we study abduction in
Description Logics. We devise suitable definitions of the problem, and show how they can …

Description Logics Page 1 Concept Abduction and Contraction in Description Logics Simona
Colucci", Tommaso Di Noia", Eugenio Di Sciascio", Francesco Donini", Marina Mongiello" l: l)i …

We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction
and Contraction in ALN DL. We also analyze the computational complexity of the problems …

The advantages of loose coupling offered by service oriented architectures (SOA) have
made it a popular choice for today's enterprise systems. The popularity has driven …

Several description frameworks to semantically describe and match services on the one
hand and service requests on the other have been presented in the literature. Many of the …