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

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

[1]  Jiang Yun,et al.  Semantics and Reasoning of Description Logic μALCQO , 2009 .

[2]  Zhongzhi Shi,et al.  Failure Diagnosis of Internetware Systems Using Dynamic Description Logic: Failure Diagnosis of Internetware Systems Using Dynamic Description Logic , 2010 .

[3]  Ju Wang,et al.  Semantics and Reasoning of Description Logic mALCQO: Semantics and Reasoning of Description Logic mALCQO , 2009 .

[4]  Umberto Straccia,et al.  Generalized fuzzy rough description logics , 2012, Inf. Sci..

[5]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[6]  Zhongzhi Shi,et al.  Reasoning about Web Services with Local Closed World Assumption , 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

[7]  Carsten Lutz,et al.  E-connections of abstract description systems , 2004, Artif. Intell..

[8]  Luciano Serafini,et al.  Distributed Description Logics: Assimilating Information from Peer Sources , 2003, J. Data Semant..

[9]  Cungen Cao,et al.  The correspondence between the concepts in description logics for contexts and formal concept analysis , 2012, Science China Information Sciences.

[10]  Franz Baader,et al.  Integrating Description Logics and Action Formalisms: First Results , 2005, Description Logics.

[11]  SHIZhongzhi,et al.  A logical foundation for the semantic Web , 2005 .

[12]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[13]  Wang Zhu.  Failure Diagnosis of Internetware Systems Using Dynamic Description Logic , 2010 .

[14]  Carsten Lutz,et al.  Description Logics with Circumscription , 2006, KR.

[15]  Jason J. Jung.  Reusing ontology mappings for query routing in semantic peer-to-peer environment , 2010, Inf. Sci..

[16]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[17]  Dieter Pfoser.  Indexing the Trajectories of Moving Objects , 2002 .

[18]  Liang Chang,et al.  A Family of Dynamic Description Logics for Representing and Reasoning About Actions , 2012, Journal of Automated Reasoning.

[19]  Shi Zhongzhi,et al.  A logical foundation for the semantic Web , 2005 .