As a family of dynamic description logics, DDL(X)is constructed by embracing actions into the descriptionlogic X, where X represents well-studied description logicsranging from the ALC to the SHOIQ. To efficiently supportautomated interoperability between ontology-basedinformation systems in distributed environments, we have todesign an expressive mapping language to semanticallyunderstand resources from remote and heterogeneoussystems. Distributed Dynamic Description Logics D3L(X) isa natural generalization of the DDL(X) framework, which isdesigned to model the distributed dynamically-changingknowledge repositories interconnected by semanticmappings and to accomplish reasoning in distributed,heterogeneous environments. In this paper, we propose anextension of Distributed Dynamic Description Logics D3L(X)and investigate the reasoning mechanisms in D3L(X).
展开▼
