Dynamic Description Logic Based on DL-Lite - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Dynamic Description Logic Based on DL-Lite

Na Zhang
  • Fonction : Auteur
  • PersonId : 990790
Liang Chang
  • Fonction : Auteur
  • PersonId : 990787
Zhoubo Xu
  • Fonction : Auteur
  • PersonId : 990791
Tianlong Gu
  • Fonction : Auteur
  • PersonId : 990789

Résumé

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.
Fichier principal
Vignette du fichier
978-3-662-44980-6_19_Chapter.pdf (2.34 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01383330 , version 1 (18-10-2016)

Licence

Paternité

Identifiants

Citer

Na Zhang, Liang Chang, Zhoubo Xu, Tianlong Gu. Dynamic Description Logic Based on DL-Lite. 8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. pp.171-177, ⟨10.1007/978-3-662-44980-6_19⟩. ⟨hal-01383330⟩
39 Consultations
78 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More