CSpace

浏览/检索结果: 共2条,第1-2条 帮助

已选(0)清除 条数/页:   排序方式:
描述语义Web服务的带类型的OWL-S 期刊论文
计算机工程与应用, 2012, 卷号: 48.0, 期号: 022, 页码: 58
作者:  刘超
收藏  |  浏览/下载:9/0  |  提交时间:2023/12/04
语义Web服务  OWL-S  类型  一阶动态逻辑  服务验证  
描述Web服务的一阶动态逻辑 期刊论文
计算机科学, 2011, 卷号: 38.0, 期号: 011, 页码: 109
作者:  吴晓庆
收藏  |  浏览/下载:10/0  |  提交时间:2023/12/04
一阶动态逻辑  Web服务模型本体  Web服务  程序  赋值