The work in this paper is directed towards sophisticated formalisms for reasoning under
probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role in …

More and more resources are becoming available on the Web, and there is a growing need
for infrastructures that, based on advertised descriptions, are able to semantically match …

Current middleware solutions, eg, application servers and Web services, are very complex
software products that are hard to tame because of intricacies of distributed systems. Their …

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 …

Several applications require the matching of user profiles, eg, job recruitment or dating
systems. In this paper we present a logical framework for specifying user profiles that allows …

The complexity of logic-based abduction has been extensively studied for the case in which
the background knowledge is represented by a propositional theory, but very little is known …

Matchmaking in e-marketplaces consists of finding and retrieving promising counterparts for
a given request from the set of available advertisements. This paper proposes the use of …

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 …