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.
Type de document :
Chapitre d'ouvrage
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. 〈http://www.springer.com/us/book/9783642199332〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01516230
Contributeur : Nhan Le Thanh <>
Soumis le : samedi 29 avril 2017 - 11:42:19
Dernière modification le : dimanche 30 avril 2017 - 01:05:42

Identifiants

  • HAL Id : hal-01516230, version 1

Collections

Citation

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. 〈http://www.springer.com/us/book/9783642199332〉. 〈hal-01516230〉

Partager

Métriques

Consultations de la notice

54