Concept abduction for semantic matchmaking in distributed and modular ontologies

International audienceRecently, attempts have been done to formalize SemanticMatchmaking, the process of finding potential matches between demandsand 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