Simona Colucci

Learn More
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 treatment of negotiable and strict requirements in the description.To this aim we exploit two novel non-standard Description Logic inference services, Concept Contraction -which extends(More)
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, showing that the upper bound of our approach meets the complexity lower bound. The work is motivated by the need to offer a uniform approach to reasoning services useful in(More)
Several applications require the matching of user profiles, e.g., job recruitment or dating systems. In this paper we present a logical framework for specifying user profiles that allows profile description to be incomplete in the parts that are unavailable or are considered irrelevant by the user. We present an algorithm for matching demands and supplies(More)
We propose a framework and polynomial algorithms for semantic-based automated Web service composition, fully compliant with Semantic Web technologies. The approach exploits the recently proposed Concept Abduction inference service in Description Logics to extend Concept covering definition to expressive logics and to solve Concept Covering problems in a(More)
Knowledge management is characterized by many different activities ranging from the elicitation of knowledge to its storing, sharing, maintenance, usage and creation. Skill management is one of such activities, with its own peculiarities, as it focuses on full exploitation of knowledge individuals in an organization have, in order to carry out at best given(More)
Recent advances in e-learning techonologies and web services make realistic the idea that courseware for personalized e-learning can be built by dynamic composition of distributed learning objects, available as web-services. To be assembled in au automated way, learning objects metadata have to be exploited, associating unambiguous, semantically rich,(More)
Non-standard reasoning in Description Logics (DLs) comprises computing a Least Common Subsumer (LCS), a Concept Difference, a Concept Unifier, or an Interpolant Concept, to name a few. Although some reasoning services have been unified already (e.g., LCS and Most Specific Concept), the definition of non-standard problems and the computation that solve them(More)
Sustainable competitive advantage is often hidden in unique company capabilities, creating knowledge differentials. In particular core competencies have been recognized as strategic knowledge for a company and defined as capabilities providing customer benefits, hard to be imitated from competitors and possessing leverage potential. Nevertheless the process(More)
We propose a formal approach to Ontology-Based Semantic Matchmaking between Skills request and offer, devised as a virtual marketplace of knowledge. In such a knowledge market metaphor, skills are a peculiar kind of goods that have distinguishing characteristics with respect to traditional assets. Buyers are entities that need the skills of people, such as(More)