Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

DDL: Embracing Actions into Semantic Web

He Huang4, 5 Contact Information, Zhongzhi ShiContact Information, Jianwu Wang5, 6 Contact Information and Rui Huang4, 5 Contact Information

(4)  Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, P.O. Box 2704-28, Beijing, 100080, China
(5)  Graduate School of the Chinese Academy of Sciences, Beijing, China
(6)  Institute of Computing Technology, Chinese Academy of Sciences, P.O.Box 2704-28, Beijing, 100080, China
Abstract
Service description usually presumes a representation of the world model. The Description Logic (DL) is an efficient way for representing the world model, esp. on Semantic Web, because of its framework, decidable reasoning, and popularity. DL can bring structure to services, but only DL itself is inadequate for modelling dynamic aspect of Web services. In this paper, Dynamic Description Logic (DDL) is proposed to combine DLs with action formalisms. The interaction between actions and the DL-based world model is embodied in two aspects. On one hand, DL knowledge base provides knowledge and information for the reasoning on actions; on the other hand, the information stored in DL knowledge base is changed by the execution of actions. In DDL, two basic reasoning tasks are defined to check precondition and effects of actions. Based on the relationship between DDL and a transition system, a reasoning support for DDL is also given by translating actions into logic programs. By the combination of DLs and actions, DDL brings a better view of how services impact the world, facilitates interoperation between services, and enables the reuse of already available algorithms and engines for service reasoning. Thus, it can provide a logical way for embracing actions into Semantic Web.

Keywords  Dynamic Description Logic - action formalism - Semantic Web - Web Services


Contact Information He Huang
Email: huangh@jcs.ict.ac.cn

Contact Information Zhongzhi Shi
Email: shizz@ics.ict.ac.cn

Contact Information Jianwu Wang
Email: wjw@software.ict.ac.cn

Contact Information Rui Huang
Email: huangr@ics.ict.ac.cn
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.110 • Server: mpweb07
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)