文章基本信息

标题：An Extension of Distributed Dynamic Description Logics for the Representation of Heterogeneous Mappings
本地全文：下载
作者：Wang, Zhuxiao ; Guo, Jing ; Chen, Fei 等
期刊名称：Journal of Software
印刷版ISSN：1796-217X
出版年度：2013
卷号：8
期号：1
页码：243-250
DOI：10.4304/jsw.8.1.243-250
语种：English
出版社：Academy Publisher
摘要：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).
关键词：distributed reasoning;dynamic description logics;distributed dynamic description logics;tableau algorithms;semantic mappings