[1]鲍爱华,王晓璇,文艾,等.基于扩展CPN的OWL-S过程语义建模及分析方法研究[J].计算机科学,2011,38(4):203-204.[2]史忠植,常亮.基于动态描述逻辑的语义Web服务推理[J].计算机学报,2008,31(9):1599-1611.[3]WANG H B, ZHOU Q Z, SHI Y Q. Describing and verifying Web service composition using TLA reasoning [C]// SCC 2010: Proceedings of the 7th IEEE International Conference on Services Computing. Washington, DC: IEEE Computer Society, 2010: 234-241.[4]沈雅芬,黄宁,彭永义.OWL-S模型转化为重写逻辑模型的方法[J].计算机应用,2011,31(6):1491-1494.[5]马炳先,杜玉越.OWL-S服务操作语义的Petri网描述新方法[J].系统仿真学报,2007,19(S1):69-74.[6]刘大有,刘思培,齐红.基于SROIQB的语义Web服务建模和组合[J].通信学报,2010,31(8A):1-9.[7]MARTIN 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.[8]The OWL-S Coalition. OWL-S1.2 release. 2004 [EB/OL]. [2012-04-15]. http://www.daml.org/services/owl-s/1.2/.[9]BAADER F, CALVANESE D, McGUINESS D, et al. The description logic handbook: theory, implementation, and applications [M]. Cambridge: Cambridge University Press, 2003.[10]LUTZ C, WOLTER F, ZAKHARYASCHEV M. Temporal description logics: a survey [C]// Proceedings of the 15th International Symposium on Temporal Representation and Reasoning. Washington, DC: IEEE Computer Society, 2008: 3-14.[11]BAADER F, BAUER A, LIPPMANN M. Runtime verification using a temporal description logic [C]// Proceedings of the 7th International Conference on Frontiers of Combining Systems, LNCS 5749. Berlin: Springer-Verlag, 2009: 149-164. [12]HORROCKS I, SATTLER U. A tableau decision procedure for SHOIQ [J]. Journal of Automated Reasoning, 2007, 39(3): 249-276.[13]STURM H, WOLTER F. A tableau calculus for temporal description logic: the expanding domain case [J]. Journal of Logic and Computation, 2002, 12(5): 809-838.[14]梅婧,林作铨.从ALC到SHOQ(D):描述逻辑及其Tableau算法[J].计算机科学,2005,32(3):1-11.[15]MARRIN D, BURSTEIN M, McDERMOTT D, et al. OWL-S1.2 release [EB/OL]. [2012-04-15]. http://www.ai.sri.com/daml/services/owl-s/1.2/CongoProcess.owl. |