A Compact Representation for Least Common Subsumers in the Description Logic ALE: This paper introduces a compact representation which helps to avoid the exponential blow-up in space of the Least Common Subsumer (lcs) of two ALE-concept descriptions. Based on the compact representation we define a space of specific graphs which represents all ALE-concept descriptions including the lcs. Next, we propose an algorithm exponential in time and polynomial in space for deciding subsumption between concept descriptions represented by graphs in this space. These results provide better understanding of the double exponential blow-up of the approximation of ALC-concept descriptions by ALE-concept descriptions: double exponential size of the approximation in the ordinary representation is unavoidable in the worst case.

Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01516224
Contributeur : Nhan Le Thanh <>
Soumis le : samedi 29 avril 2017 - 08:53:55
Dernière modification le : dimanche 30 avril 2017 - 01:05:41

Identifiants

  • HAL Id : hal-01516224, version 1

Collections

Citation

Chan Le Duc, Nhan Le Thanh, Marie-Christine Rousset. A Compact Representation for Least Common Subsumers in the Description Logic ALE: This paper introduces a compact representation which helps to avoid the exponential blow-up in space of the Least Common Subsumer (lcs) of two ALE-concept descriptions. Based on the compact representation we define a space of specific graphs which represents all ALE-concept descriptions including the lcs. Next, we propose an algorithm exponential in time and polynomial in space for deciding subsumption between concept descriptions represented by graphs in this space. These results provide better understanding of the double exponential blow-up of the approximation of ALC-concept descriptions by ALE-concept descriptions: double exponential size of the approximation in the ordinary representation is unavoidable in the worst case.. AI Communications, IOS Press, 2006, 19 (3), pp.239-273. <http://content.iospress.com/articles/ai-communications/aic376>. <hal-01516224>

Partager

Métriques

Consultations de la notice

71