• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
Advanced Search
Zhao Xiaofei, Tian Dongping, Zhang Wenbo, Shi Zhongzhi. Properties and Distributed Tableaux Reasoning Algorithm for D3L(ccy)[J]. Journal of Computer Research and Development, 2014, 51(3): 570-579.
Citation: Zhao Xiaofei, Tian Dongping, Zhang Wenbo, Shi Zhongzhi. Properties and Distributed Tableaux Reasoning Algorithm for D3L(ccy)[J]. Journal of Computer Research and Development, 2014, 51(3): 570-579.

Properties and Distributed Tableaux Reasoning Algorithm for D3L(ccy)

More Information
  • Published Date: March 14, 2014
  • As the distributed extension of traditional dynamic description logics(DDL), distributed dynamic description logics(D3L) enables reasoning with multiple heterogeneous DDL ontologies interconnected by directional semantic mapping. D3L captures the idea of importing and reusing knowledge between several ontologies. This idea combines well with the basic assumption of the distributed and dynamic systems such as the semantic Web and the heterogeneous information integration system. We find in the case when more than two ontologies are involved and bridge rules form chains, knowledge does not always propagate along chains of bridge rules even if we would expect it. Inspired by package-based description logics, we propose D3L(ccy) by imposing so called compositional consistency condition on domain relations in D3L interpretations. Under this semantics knowledge propagates along chains of bridge rules correctly. We research the properties and distributed Tableaux reasoning algorithm for D3L(ccy) systematically. We prove that D3L(ccy) satisfies the monotonicity property(D3L(ccy) is a monotonic logic), the directionality property(the effect of bridge rules is directional) and the restrained inconsistency propagation property(if some of the local ontologies is inconsistent, it does not necessarily pollute the whole distributed system). Furthermore we provide a distributed Tableaux reasoning algorithm which is sound and complete for deciding satisfiability of concepts in D3L(ccy). Compared with original one, the extended D3L provides more reasonable logic foundation for distributed and dynamic systems such as the Semantic Web and the information integration system.
  • Related Articles

    [1]Tang Kezong, Liu Bingxiang, Yang Jingyu, Sun Tingkai. Double Center Particle Swarm Optimization Algorithm[J]. Journal of Computer Research and Development, 2012, 49(5): 1086-1094.
    [2]Fan Xiaoqin, Jiang Changjun, Fang Xianwen, Ding Zhijun. Dynamic Web Service Selection Based on Discrete Particle Swarm Optimization[J]. Journal of Computer Research and Development, 2010, 47(1): 147-156.
    [3]Jie Jing, Zeng Jianchao, Han Chongzhao. Self-Organized Particle Swarm Optimization Based on Feedback Control of Diversity[J]. Journal of Computer Research and Development, 2008, 45(3): 464-471.
    [4]Ma Ming, Zhou Chunguang, Zhang Libiao, Ma Jie. Fuzzy Neural Network Optimization by a Multi-Objective Particle Swarm Optimization Algorithm[J]. Journal of Computer Research and Development, 2006, 43(12): 2104-2109.
    [5]Lei Kaiyou and Qiu Yuhui. A Study of Constrained Layout Optimization Using Adaptive Particle Swarm Optimizer[J]. Journal of Computer Research and Development, 2006, 43(10): 1724-1731.
    [6]Cui Zhihua and Zeng Jianchao. Modified Particle Swarm Optimization Based on Differential Model[J]. Journal of Computer Research and Development, 2006, 43(4): 646-653.
    [7]Dou Quansheng, Zhou Chunguang, Xu Zhongyu, Pan Guanyu. Swarm-Core Evolutionary Particle Swarm Optimization in Dynamic Optimization Environments[J]. Journal of Computer Research and Development, 2006, 43(1): 89-95.
    [8]Liu Yu, Qin Zheng, Lu Jiang, Shi Zhewen. Multimodal Particle Swarm Optimization for Neural Network Ensemble[J]. Journal of Computer Research and Development, 2005, 42(9): 1519-1526.
    [9]Chen Hongzhou, Gu Guochang, and Kang Wangxing. A Sentient Particle Swarm Optimization[J]. Journal of Computer Research and Development, 2005, 42(8): 1299-1305.
    [10]Dou Quansheng, Zhou Chunguang, and Ma Ming. Two Improvement Strategies for Particle Swarm Optimization[J]. Journal of Computer Research and Development, 2005, 42(5): 897-904.

Catalog

    Article views (965) PDF downloads (492) Cited by()

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return