Reasoning about Semantic Web Services with an Approach Based on Temporal Description Logic

摘要：

　　Temporal description logic ALC-LTL not only has considerable expressive power,but also extends the description capability of description logic from the static domain to the dynamic domain.In this paper,ALC-LTL is applied for the composition of semantic Web services.We take the view that atomic process and composite process in the OWL-S ontology can be considered as atomic service and composited service respectively.Inputs,outputs,local variables,preconditions and results of atomic processes can all be described with ALC-LTL.Based on the models of services,the executability problem and the projection problem of Web services can be reasoned about effectively.

关键词： temporal description logic semantic Web services OWL-S executability problem projection problem

作者: Juan Wang Liang Chang Chuangying Zhu Rongsheng Dong

作者单位: Guangxi Key Laboratory of Trusted Software,Guilin University of Electronic Technology,Guilin 541004,China

会议类型: 国际会议

会议名称: 7th IFIP TC 12 International Conference (第七届智能信息处理国际会议 (IIP 2012))

会议地点: 桂林

会议语种:英文

页码: 286-294

在线出版日期: 2012-10-12（万方平台首次上网日期，不代表论文的发表时间）