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 …

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 …

Matchmaking is the problem of matching offers and requests, such as supply and demand in
a marketplace, services and customers in a service agency, etc., where both partners are …

We present algorithms for Concept Abduction and Concept Contraction, two reasoning
services in Description Logics (DL) recently proposed to model how several supplies fit a …

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 need to extend features of semantic matchmaking between request and
offer descriptions, a model is presented that exploits recently proposed non-standard …

For many years, the Modal Logic community has pursued various techniques for robustly
combining logics. These methodologies reflect a new direction in Logic applied to …

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 …

Unification of concept terms is a new kind of inference problem for description logics, which
extends the equivalence problem by allowing one to replace certain concept names by …

Ontology languages like OWL allow for semantically rich annotation of resources (eg,
products advertised at on-line electronic marketplaces). The description logic (DL) formalism …