A Formal Approach to Ontology-Based Semantic Match of Skills Descriptions

Skills management has been recently acknowledged as one of the key fac- tors to adequately face the increasing competitiveness between knowledge intensive companies. In this paper we present a formal approach to Ontology-Based Semantic Matchmaking between Skills demand and supply, devised as a virtual marketplace of knowledge. In such a knowledge market metaphor, skills are a peculiar kind of good that has distinguishing characteristics with respect to traditional assets. Buyers are entities that need the skills of people, such as projects, departments and organizations; sellers are workers that offer their own skills. The formal framework supports the semantic match of descriptions provided by de- manders and sellers of skills. In particular our approach, based on Description Log- ics formalization and reasoning, overcomes simple subsumption matching and allows match ranking and categorization. The implementation of the approach in a prototype system, which embeds a NeoClassic reasoner, is also described.

[1]  Nicola Guarino,et al.  Formal Ontology and Information Systems , 1998 .

[2]  Francesco M. Donini,et al.  Reasoning in description logics , 1997 .

[3]  Diego Calvanese,et al.  Dwq : Esprit Long Term Research Project, No 22469 on the Decidability of Query Containment under Constraints on the Decidability of Query Containment under Constraints , 2022 .

[4]  Claudio Bartolini,et al.  Semantic web support for the business-to-business e-commerce lifecycle , 2002, WWW '02.

[5]  Chris Kimble,et al.  Ontologies and the Dynamics of Organisational Environments: An Example of a Group Memory System for the Management of Group Competencies , 2003 .

[6]  Ian Horrocks,et al.  OIL: An Ontology Infrastructure for the Semantic Web , 2001, IEEE Intell. Syst..

[7]  Francesco M. Donini,et al.  Abductive Matchmaking using Description Logics , 2003, IJCAI.

[8]  Peter F. Patel-Schneider,et al.  A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic , 1993, J. Artif. Intell. Res..

[9]  Francesco M. Donini,et al.  Semantic matchmaking in a P-2-P electronic marketplace , 2003, SAC '03.

[10]  Bernhard Nebel,et al.  Terminological Reasoning is Inherently Intractable , 1990, Artif. Intell..

[11]  Steffen Staab,et al.  Knowledge Processes and Ontologies , 2001, IEEE Intell. Syst..

[12]  Alexander Borgida,et al.  Description Logics in Data Management , 1995, IEEE Trans. Knowl. Data Eng..

[13]  Olivier Corby,et al.  Methods and tools for corporate knowledge management , 1999, Int. J. Hum. Comput. Stud..

[14]  Diego Calvanese Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity , 1996, ECAI.

[15]  Steffen Staab,et al.  Leveraging Corporate Skill Knowledge - From ProPer to OntoProPer , 2000, PAKM.

[16]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[17]  Daniel E. O'Leary,et al.  Using AI in Knowledge Management: Knowledge Bases and Ontologies , 1998, IEEE Intell. Syst..