Dynamic Description Logic Based on DL-Lite

Abstract : Description logics offer considerable expressive power for describing knowledge about static application domains while reasoning is still decidable. The dynamic description logic DDL is a family of dynamic extensions of description logics for representing and reasoning about knowledge of dynamic application domains. In order to provide effective reasoning mechanisms, systems of DDL investigated in the literatures assume that there is no general concept inclusion(GCI) contained in the knowledge base. In this paper, we build a system of dynamic description logic based on the tractable description logic DL-Lite${^{\rm pr}_{\rm R}}$, in such a way that all the knowledge described by DL-Lite${^{\rm pr}_{\rm R}}$ is supported by our system. A decision algorithm is provided for our system DDL-Lite${^{\rm pr}_{\rm R}}$.Termination and correctness of the algorithm are proved.
Type de document :
Communication dans un congrès
Zhongzhi Shi; Zhaohui Wu; David Leake; Uli Sattler. 8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. Springer, IFIP Advances in Information and Communication Technology, AICT-432, pp.171-177, 2014, Intelligent Information Processing VII. 〈10.1007/978-3-662-44980-6_19〉
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01383330
Contributeur : Hal Ifip <>
Soumis le : mardi 18 octobre 2016 - 14:55:28
Dernière modification le : mardi 18 octobre 2016 - 15:08:50

Fichier

978-3-662-44980-6_19_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Na Zhang, Liang Chang, Zhoubo Xu, Tianlong Gu. Dynamic Description Logic Based on DL-Lite. Zhongzhi Shi; Zhaohui Wu; David Leake; Uli Sattler. 8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. Springer, IFIP Advances in Information and Communication Technology, AICT-432, pp.171-177, 2014, Intelligent Information Processing VII. 〈10.1007/978-3-662-44980-6_19〉. 〈hal-01383330〉

Partager

Métriques

Consultations de la notice

46

Téléchargements de fichiers

8