Skip to Main content Skip to Navigation
Book sections

Abductive Reasoning for Semantic Matchmaking with Modular Ontologies

Abstract : Semantic matchmaking is defined as a process of finding possible matches between requests and supplies based on their logical relations. Recently, attempts have been done to formalize this process in Description Logics (DLs). We extend this formalization to Packages-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 tableaux-based method for computing concept abduction, a non-monotonic inference service specifically proposed for this kind of operation.
Complete list of metadatas
Contributor : Nhan Le Thanh <>
Submitted on : Saturday, April 29, 2017 - 11:42:19 AM
Last modification on : Tuesday, May 26, 2020 - 6:50:29 PM


  • HAL Id : hal-01516230, version 1



Viet-Hoang Vu, Nhan Le Thanh. Abductive Reasoning for Semantic Matchmaking with Modular Ontologies. Springer books. International Symposium on Distributed Computing and Artificial , Digitally watermarked, DRM-free, pp.303-310, 2011, Computational Intelligence and Complexity 978-3-642-19934-9. ⟨hal-01516230⟩



Record views