¹School of Control and Computer Engineering, State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources, North China Electric Power University, 102206 Beijing, China
²National Computer Network Emergency Response Technical Team/Coordination Center of China, 100029 Beijing, China
³School of Control and Computer Engineering, North China Electric Power University, 102206 Beijing, China
⁴Institute of Information Engineering, Chinese Academy of Sciences, 100195 Beijing, China

---

Abstract—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).

Index Terms—Distributed reasoning, dynamic description logics, distributed dynamic description logics, tableau algorithms, semantic mappings.

[PDF]

Cite: Zhuxiao Wang, Jing Guo, Fei Chen, Kehe Wu, Peng Wang, "An Extension of Distributed Dynamic Description Logics for the Representation of Heterogeneous Mappings," Journal of Software vol. 8, no. 1, pp. 243-250, 2013.