A Distributed Dynamic Description Logic

Jiang Yuncheng; Shi Zhongzhi; Tang Yong; Wang Ju

Journal of Computer Research and Development > 2006 > 43(9): 1603-1608.

Jiang Yuncheng, Shi Zhongzhi, Tang Yong, Wang Ju. A Distributed Dynamic Description Logic[J]. Journal of Computer Research and Development, 2006, 43(9): 1603-1608.

Citation:

Jiang Yuncheng, Shi Zhongzhi, Tang Yong, Wang Ju. A Distributed Dynamic Description Logic[J]. Journal of Computer Research and Development, 2006, 43(9): 1603-1608.

Citation:

Jiang Yuncheng, Shi Zhongzhi, Tang Yong, Wang Ju. A Distributed Dynamic Description Logic[J]. Journal of Computer Research and Development, 2006, 43(9): 1603-1608.

PDF (454 KB)

A Distributed Dynamic Description Logic

1(Department of Computer Science, Sun Yat-sen University, Guangzhou 510275) 2(College of Computer Sciences and Information Engineering, Guangxi Normal University, Guilin 541004) 3(Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080)

More Information

Published Date: September 14, 2006

Graphical Abstract

Abstract

Abstract

The current research progresses and the existing problems of description logic(DL), especially the insufficiency of using dynamic description logic(DDL) to act as logical foundation for the semantic Web, are analyzed in this paper. According to the characteristics and requirement of the semantic Web, a kind of new description logic, i.e., distributed dynamic description logic(D3L), is presented. The syntax and semantics of D3L are given. The reasoning mechanism of D3L is mainly studied, and two kinds of reasoning methods, the direct reasoning method and the transform reasoning method, are presented. Compared with DDL, the D3L provides more reasonable logic foundation for the semantic Web, and overcomes the insufficiency of using DDL to act as logical foundation for the semantic Web.
- description logic,
- dynamic description logic,
- distributed dynamic description logic,
- semantic Web

FullText(HTML)

References (0)

[1]	Meng Yinfeng, Liang Jiye. Linear Regularized Functional Logistic Model[J]. Journal of Computer Research and Development, 2020, 57(8): 1617-1626. DOI: 10.7544/issn1000-1239.2020.20200496
[2]	Geng Pu, Zhu Yuefei. A Code Encrypt Technique Based on Branch Condition Obfuscation[J]. Journal of Computer Research and Development, 2019, 56(10): 2183-2192. DOI: 10.7544/issn1000-1239.2019.20190368
[3]	Wang Rongquan, Ouyang Dantong, Wang Yiyuan, Liu Siguang, Zhang Liming. Solving Minimal Hitting Sets Method with SAT Based on DOEC Minimization[J]. Journal of Computer Research and Development, 2018, 55(6): 1273-1281. DOI: 10.7544/issn1000-1239.2018.20160809
[4]	Jiang Shujuan, Han Han, Shi Jiaojiao, Zhang Yanmei, Ju Xiaolin, Qian Junyan. Detecting Infeasible Paths Based on Branch Correlations Analysis[J]. Journal of Computer Research and Development, 2016, 53(5): 1072-1085. DOI: 10.7544/issn1000-1239.2016.20148031
[5]	Miao Dongjing, Liu Xianmin, Li Jianzhong. An Algorithm on Mining Approximate Functional Dependencies in Probabilistic Database[J]. Journal of Computer Research and Development, 2015, 52(12): 2857-2865. DOI: 10.7544/issn1000-1239.2015.20140685
[6]	Feng Lin, Liu Shenglan, Zhang Jing, and Wang Huibing. Robust Activation Function of Extreme Learning Machine and Linear Dimensionality Reduction in High-Dimensional Data[J]. Journal of Computer Research and Development, 2014, 51(6): 1331-1340.
[7]	Mao Chengying, Yu Xinxin, Xue Yunzhi. Algorithm Design and Empirical Analysis for Particle Swarm Optimization-Based Test Data Generation[J]. Journal of Computer Research and Development, 2014, 51(4): 824-837.
[8]	Jin Wenbing, Shi Feng, Zuo Qi, Zhang Yang. Study of Ahead Branch Prediction Architecture and Algorithm[J]. Journal of Computer Research and Development, 2013, 50(10): 2228-2238.
[9]	Zhou Lian, Wang Guojin. Piecewise Linear Approximation of Rational Triangular Surfaces[J]. Journal of Computer Research and Development, 2012, 49(5): 1116-1122.
[10]	Zhao Chuanshen, Sun Zhihui, and Zhang Jing. Frequent Subtree Mining Based on Projected Branch[J]. Journal of Computer Research and Development, 2006, 43(3): 456-462.