Abstract
Fuzzy description logics are considered as the logical infrastructure of fuzzy knowledge representation on the semantic Web. To deal with fuzzy and dynamic knowledge on the semantic Web and its applications, a new fuzzy extension of Attribute Language with Complement based on dynamic fuzzy logic called the dynamic fuzzy description logic (DFALC) is presented. The syntax and semantics of DFALC are formally defined, and the forms of axioms and assertions are specified. The DFALC provides more reasonable logic foundation for the semantic Web, and overcomes the insufficiency of using fuzzy description logic FALC to act as logical foundation for the semantic Web. The extended DFALC is more expressive than the existing fuzzy description logics and present more fuzzy information on the semantic Web.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Berners-Lee T, Hendler J, Lassila O. The Semantic Web[J]. Scientific American, 2001, 28(5): 34–43.
Baader F, Calvanese D, McGuinness D L, et al. The Description Logic Handbook: Theory, Implementation, and Applications[M]. Cambridge: Cambridge University Press, 2003.
Wang Ju, Jiang Yucheng, Tang Suain. A Fuzzy Dynamic Description Logic[J]. Journal of Frontiers of Computer Science and Technology, 2007, 1(2):216–227.
Straccia U. A Fuzzy Description Logic[C]//Proceedings of AAAI98. Madison: American Association for Artificial Intelligence Press, 1998:594–599.
Straccia U. Reasoning within Fuzzy Description Logics[J]. Journal of Artifical Intelligence Research, 2001, (14): 137–166.
Wolter F, Zakharyaschev M. Dynamic Description Logic[J]. Advances in Modal Logic, 2000, 2: 449–463.
Li Fanzhang. Research on a Dynamic Fuzzy Data Model[J]. Computer Research and Development, 1998, 35(8):714–718(Ch).
Fang Wei, Cui Zhiming, Li Fanzhang. Description Logic Based on Dynamic Fuzzy Logic for the Semantic Web[J]. Journal of Computational Information Systems, 2007, 3(3):1001–1006.
Li Fanzhang. Research on Coordination Process Mechanism of Multi-Agent Systems Based on DFL[J]. Acta Automatica. Sinica, 2003, 129(16): 1002–1007(Ch).
Chang Liang, Shi Zhongzhi, Qiu Lirong, et al. Dynamic Description Logic: Embracing Actions into Description Logic[C]// Proceedings of the 2007 International Workshop on Description Logics (DL2007). New York: Springer-Verleg, 2007:243–253.
Kang Dazhou, Xu Baowen, Lu jianjiang, et al. Reasoning for a Fuzzy Description Logic with Comparison Expressions[C]// Proceedings of the 2006 International Workshop on Description Logics (DL2006). New York: Springer-Verleg, 2006:111–118.
Straccia U. A Fuzzy Description Logic for the Semantic Web[C]// Fuzzy Logic and the Semantic Web. Amsterdam: Elsevier Science Publishers, 2006: 73–90.
Author information
Authors and Affiliations
Corresponding author
Additional information
Foundation item: Supported by the National Natural Science Foundation of China (60673092) and Key Project of Ministry of Education of China (205059) and the 2006 Jiangsu Sixth Talented-Personnel Research Program (06-E-037), The Project of Jiangsu Key Laboratory of Computer Information Processing Technology and the Higher Education Graduate Research Innovation Program of Jiangsu Province
Biography: FANG Wei(1975–), male, Ph. D. candidate, research direction: data mining, semantic Web and deep Web.
Rights and permissions
About this article
Cite this article
Fang, W., Xian, X., Zhao, P. et al. A dynamic fuzzy description logic. Wuhan Univ. J. Nat. Sci. 13, 417–420 (2008). https://doi.org/10.1007/s11859-008-0407-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11859-008-0407-7