Concept abduction for semantic matchmaking in distributed and modular ontologies
Résumé
Recently, attempts have been done to formalize SemanticMatchmaking, the process of finding potential matches between demands
and supplies based on their logical relations with reference to a common ontology, in Description Logics (DLs). We extend the formalization to Packages-based Description Logics (P-DLs), modular extensions of DLs, in order to perform the matchmaking operation in contexts where descriptions of demands and supplies are specified in different terminologies.