Volume 8 Number 1 (Jan. 2013)
Home > Archive > 2013 > Volume 8 Number 1 (Jan. 2013) >
JSW 2013 Vol.8(1): 243-250 ISSN: 1796-217X
doi: 10.4304/jsw.8.1.243-250

An Extension of Distributed Dynamic Description Logics for the Representation of Heterogeneous Mappings

Zhuxiao Wang1, Jing Guo2, Fei Chen3, Kehe Wu3, Peng Wang4
1School 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
2National Computer Network Emergency Response Technical Team/Coordination Center of China, 100029 Beijing, China
3School of Control and Computer Engineering, North China Electric Power University, 102206 Beijing, China
4Institute 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.

General Information

ISSN: 1796-217X (Online)
Frequency: Monthly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Dec 06, 2019 News!

    Vol 14, No 1- Vol 14, No 4 has been indexed by EI (Inspec)   [Click]

  • Nov 18, 2019 News!

    Papers published in JSW Vol 14, No 1- Vol 14 No 10 have been indexed by DBLP     [Click]

  • Dec 06, 2019 News!

     Vol 13, No 10- Vol 13, No 12 has been indexed by EI (Inspec)   [Click]

  • Aug 01, 2018 News!

    [CFP] 2020 the annual meeting of JSW Editorial Board, ICCSM 2020, will be held in Rome, Italy, July 17-19, 2020   [Click]

  • Jun 25, 2019 News!

    Vol.13, No.9 has been indexed by EI (Inspec).   [Click]