An extension of distributed dynamic description logics for the representation of heterogeneous mappings

作者：Wang Zhuxiao^*; Guo Jing; Chen Fei; Wu Kehe; Wang Peng

来源：Journal of Software, 2013, 8(1): 243-250.

DOI：10.4304/jsw.8.1.243-250

• Distributed Dynamic Description Logics
• Distributed reasonings
• Dynamic description logic
• Semantic mapping
• Tableau algorithm

As a family of dynamic description logics, DDL(X) is constructed by embracing actions into the description logic X, where X represents well-studied description logics ranging from the ALC to the SHOIQ. To efficiently support automated interoperability between ontology-based information systems in distributed environments, we have to design an expressive mapping language to semantically understand resources from remote and heterogeneous systems. Distributed Dynamic Description Logics D3L(X) is a natural generalization of the DDL(X) framework, which is designed to model the distributed dynamically-changing knowledge repositories interconnected by semantic mappings and to accomplish reasoning in distributed, heterogeneous environments. In this paper, we propose an extension of Distributed Dynamic Description Logics D3L(X) and investigate the reasoning mechanisms in D3L(X).

• 出版日期2013
• 单位华北电力大学