Abductive Reasoning for Semantic Matchmaking with Modular Ontologies

摘要

Semantic matchmaking is defined as a process of finding possible matches between requests and supplies based on their logical relations. Re-cently, attempts have been done to formalize this process in Description Log-ics (DLs). We extend this formalization to Package-based Description Logics (P-DLs), the extensions of DLs for distributed and modular ontologies, for allowing the description of demands and offers to be represented in different terminologies. To support this task, we develop a distributed tableau-based method for computing concept abduction, a non-monotonic inference service specifically proposed for this kind of operation.