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.
Chapter PDF
Similar content being viewed by others
References
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
Horrocks, I., Patel-Schneider, P.F., Harmelen, F.V.: From SHIQ and RDF to OWL: the making of a web ontology language. J. Web Semant. 1(1), 7–26 (2003)
Baader, F., Sattler, U.: An Overview of Tableau Algorithms for Description Logics. Studia Logica 69, 5–40 (2001)
Shi, Z.Z., Dong, M.K., Jiang, Y.C., Zhang, H.J.: A logical foundation for the semantic Web. Science in China, Ser. F: Information Sciences 48(2), 161–178 (2005)
Chang, L., Shi, Z.Z., Gu, T.L., Zhao, L.Z.: A family of dynamic description logics for representing and reasoning about actions. Journal of Automated Reasoning 49(1), 19–70 (2012)
Baader, F., Lutz, C., Miličić, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: first results. In: Proc. of the 12th Nat. Conf. on Artificial Intelligence (AAAI 2005), pp. 572–577. AAAI Press / MIT Press (2005)
Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. of Artificial Intelligence Research 36, 1–69 (2009)
Kharlamov, E., Zheleznyakov, D.: Capturing instance level ontology evolution for DL-lite. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 321–337. Springer, Heidelberg (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 IFIP International Federation for Information Processing
About this paper
Cite this paper
Zhang, N., Chang, L., Xu, Z., Gu, T. (2014). Dynamic Description Logic Based on DL-Lite. In: Shi, Z., Wu, Z., Leake, D., Sattler, U. (eds) Intelligent Information Processing VII. IIP 2014. IFIP Advances in Information and Communication Technology, vol 432. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44980-6_19
Download citation
DOI: https://doi.org/10.1007/978-3-662-44980-6_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44979-0
Online ISBN: 978-3-662-44980-6
eBook Packages: Computer ScienceComputer Science (R0)