Dynamic Logic for the Semantic Web

Abstract : The propositional dynamic logic PDL is one of the most successful variants of modal logic; it plays an important role in many fields of computer science and artificial intelligence. As a logical basis for the W3C-recommended Web ontology language OWL, description logic provides considerable expressive power going far beyond propositional logic as while as the reasoning is still decidable. In this paper, we bring the power and character of description logic into PDL and present a dynamic logic ALC-DL for the semantic Web. The logic ALC-DL inherits the knowledge representation ability of both the description logic ALC and the logic PDL. With an approach based on Buchi tree automaton, we prove that the satisfiability problem of ALC-DL formulas is still decidable and is EXPTIME-complete. The logic ALC-DL is suitable for modeling and reasoning about dynamic knowledge in the semantic Web environment.
Type de document :
Communication dans un congrès
Zhongzhi Shi; David Leake; Sunil Vadera. 7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. Springer, IFIP Advances in Information and Communication Technology, AICT-385, pp.137-146, 2012, Intelligent Information Processing VI. 〈10.1007/978-3-642-32891-6_19〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01524969
Contributeur : Hal Ifip <>
Soumis le : vendredi 19 mai 2017 - 10:43:26
Dernière modification le : vendredi 3 novembre 2017 - 22:24:07

Fichier

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

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Liang Chang, Qicheng Zhang, Tianlong Gu, Zhongzhi Shi. Dynamic Logic for the Semantic Web. Zhongzhi Shi; David Leake; Sunil Vadera. 7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. Springer, IFIP Advances in Information and Communication Technology, AICT-385, pp.137-146, 2012, Intelligent Information Processing VI. 〈10.1007/978-3-642-32891-6_19〉. 〈hal-01524969〉

Partager

Métriques

Consultations de la notice

30

Téléchargements de fichiers

13