Dynamic Description Logic Based on DL-Lite [chapter]

Na Zhang, Liang Chang, Zhoubo Xu, Tianlong Gu
2014 IFIP Advances in Information and Communication Technology  
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
more » ... ase. In this paper, we build a system of dynamic description logic based on the tractable description logic pr R DL-Lite , in such a way that all the knowledge described by pr R DL-Lite is supported by our system. A decision algorithm is provided for our system pr R DDL-Lite .Termination and correctness of the algorithm are proved.
doi:10.1007/978-3-662-44980-6_19 fatcat:t4teguiwuzdbvkuqfdeefl36w4