期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

OWL-S服务操作语义的Petri网描述新方法 被引量：3

A New Approach to Model OWL-S Services Operational Semantic with Petri Nets
下载PDF
导出
摘要 提出对基于OWL-S描述的语义Web服务操作语义的Petri网描述新方法。选择动态描述逻辑的动作理论作为语义Web服务描述的逻辑基础,一个OWL-S原子进程可以作为一个动态描述逻辑动作进行描述,实现了对OWL-S原子进程的动态执行和相关执行条件静态逻辑推理的有机结合,进一步通过将Petri网与动态描述逻辑的动作理论结合,得到OWL-S进程(尤其复合进程)操作语义的Petri网描述,为组合语义Web服务的自动组合和动态性质分析提供了更为有效的逻辑依据和方法。 Putting forward a new approach to model OWL-S based semantic web services operational semantic with petri nets, selecting dynamic description logic actions theory as the logical foundation of semantic web services. Firstly, a OWL-S atomic process can be modeled as a dynamic description logic action, which combines the dynamic execution and static reasoning of related execution conditions of services; and then, using petri nets and dynamic description logic actions theory to model operational semantics of OWL-S services processes, especially composite processes, provides a more effective logical approach to study auto-composition and dynamic properties analysis of semantic web services.
作者 马炳先 杜玉越
机构地区 济南大学信息科学与工程学院 山东科技大学信息科学与工程学院 中国科学院软件研究所计算机科学重点实验室
出处 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期69-74,128,共7页 Journal of System Simulation
基金 济南大学博士科研基金(B0626) 中国科学院计算机科学实验室开发课题(SYSKF0604) 国家青年科学基金(60603090)资助。
关键词 OWL-S 操作语义 动态描述逻辑 PETRI网 OWL-S operational semantic dynamic description logic petri nets
分类号 TP391.9 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献11

  • 1erners-Lee T, Hendler J, Lassila O. The Semantic Web [J]. Scientific American, 2001, 284(5): 34-43.
  • 2The OWL-S Coalition. OWL-S 1.1 Release[EB/OL]. (2004-11) [2007-05]. www.daml.org/services/owl-s/1.1/
  • 3The World Wide Web Consortium. OWL Web Ontology Language Reference. [EB/OL]. (2004-2) [2007-05]. www.w3.org/TR/owl-ref/
  • 4Sheila A Mcllraith, Tran Cao Son. Adapting Golog for Programming the Semantic Web[C]//Proceedings of the Fifth Symposium on Logical Formalizations of Commonsense Reasoning (Common Sense 2001), New York, US, 2001: 195-202.
  • 5Dan Wu, Bijan Parsia, Evren Sirin. et al. Automating DAML-S Web Services Composition Using SHOP2[C]//Fensel Dieter, Sycara Katia, Mylopoulos John (Eds.), Second International Semantic Web Conference, FL, USA, 2003: 195-210.
  • 6Sell D F, Hakimpour J Domingue, E Motta, R Pacheco. Interactive Composition of WSMO-based Semantic Web Services in IRS-Ⅲ[C]// in: Proc. of the AKT workshop on Semantic Web Services (AKT-SWS04), 2004.
  • 7Ankolekar Anupriya, Huch Frank, Sycara Katia. Concurrent Execution Semantics of DAML-S with Subtypes[C]// I Horrocks, J Hendler (Eds.), The Semantic Web - ISWC 2002, First International Semantic Web Conference, Sardinia, Italy, Springer Verlag, 2002:318-332.
  • 8Narayanan S, Mcllraith S. Simulation, verification and automated composition of Web services[C]//Proc, of the Eleventh International World Wide Web Conference, Honolulu, HI, 2002: 77-88.
  • 9史忠植,董明楷,蒋运承,张海俊.语义Web的逻辑基础[J].中国科学（E辑）,2004,34(10):1123-1138. 被引量：71
  • 10The OWL-S Coalition. OWL-S 1.1 Release:Examples [EB/OL]. (2004-11) [2007-05]. www.daml.org/services/owl-s/1.1/CongoProcess.owl

二级参考文献15

  • 1Berners-Lee T, Hendler J, Lassila O. The semanticWeb. Scientific American, 2001, 284(5): 34-43
  • 2http://www.w3.org/TR/daml+oil-reference
  • 3http://www.w3.org/TR/owl-ref/
  • 4Horrocks I. DAML+OIL: A description logic for the semantic web. Bull of the IEEE Computer Society Technical Committee on Data Engineering, 2002, 25(1): 4-9
  • 5Horrocks I, Peter F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. In: Fensel D, Sycara D, Mylopoulos D, ed. Proc of the 2003 International Semantic Web Conference (ISWC 2003), Berlin: Springer, 2003. 17～29
  • 6Baader F, Horrocks I, Sattler U. Description logics as ontology languages for the semantic web. In: Dieter Hutter and Werner Stephan, ed. Festschrift in honor of J?rg Siekmann, Berlin: Springer, 2003
  • 7McIlraith S, Son T C, Zeng H. Semantic web services. IEEE Intelligent Systems, Special Issue on the Semantic Web, 2001, 16(2): 46-53
  • 8Baader F, et al. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge: Cambridge University Press, 2002
  • 9Lutz C, Sattler U. A Proposal for Describing Services with DLs. In: Horrocks, Tessaris S, ed. Proceedings of the 2002 International Workshop on Description Logics, Aachen : CEUR-WS, 2002. 129-140
  • 10Wolter F, Zakharyaschev M. Dynamic description logic. In Segerberg K, et al, ed. Advances in Modal Logic, Vol 2. Stanford: CSLI Publications, 2000. 449-463

共引文献70

同被引文献35

  • 1梅婧,林作铨.从ALC到SHOQ(D):描述逻辑及其Tableau算法[J].计算机科学,2005,32(3):1-11. 被引量：34
  • 2蒋运承,史忠植.OWL-S的形式语义[J].计算机科学,2005,32(7):5-7. 被引量：6
  • 3刘迎春,兰雨晴,于乐乐.ESB中的数据交换技术[J].计算机系统应用,2005,14(10):42-45. 被引量：13
  • 4刘志忠,王怀民,郭艳玲.基于语义的服务发现技术研究综述[J].计算机工程与科学,2007,29(9):12-15. 被引量：5
  • 5WANG H B, ZHOU Q z, SHI Y Q. Describing and verifying Web service composition using TLA reasoning [ C]// SCC 2010: Pro- ceedings of the 7th IEEE International Conference on Services Com- puting. Washington, BC: IEEE Computer Society, 2010: 234- 241.
  • 6MARTIN D, BURSTEIN M, HOBBS J, et al. OWL-S: semantic markup for Web services [ EB/OL]. [2012-04-15]. http://www. w3. org/submission/owl-s.
  • 7The OWL-S Coalition. OWL-S1.2 release. 2004 [ EB/OL]. [ 2012- 04-15]. http://www, daml. org/services/owl-s/1.2/.
  • 8BAADER F, CALVANESE D, McGISINESS D, et al. The descrip- tion logic handbook: theory, implementation, and applications [ M]. Cambridge: Cambridge University Press, 2003.
  • 9LUTZ C, WOLTER F, ZAKHARYASCHEV M. Temporal descrip- tion logics: a survey [ C]// Proceedings of the 15th International Symposium on Temporal Representation and Reasoning. Washing- ton, DC: IEEE Computer Society, 2008:3-14.
  • 10BAADER F, BAUER A, LIPPMANN M. Runtime verification u- sing a temporal description logic [ C]//Proceedings of the 7th In- ternational Conference on Frontiers of Combining Systems, LNCS 5749. Berlin: Springer-Verlag, 2009: 149-164.

引证文献3

二级引证文献4

系统仿真学报
2007年 第A01期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部