A Formal Approach to Ontology-Based Semantic Match of Skills