-- 发布时间：6/8/2007 8:52:00 AM
--
OWL-S目前好像还没有有一定规模的实验系统或环境。
而且由于DAML项目的终结，估计cmu, sri的人也不太可能给出一个类似于WSMX那样规模的官方参考实现了。
不过可以考虑用cmu, mindswap,hp已经开发出来的工具自己攒一个出来。
[此贴子已经被作者于2007-6-8 9:32:25编辑过]
|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- owl-s如何匹配 (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=38954) |
|
-- 作者：kuapig -- 发布时间：10/16/2006 11:43:00 AM -- owl-s如何匹配 匹配owl-s该如何做呢，就是想从用户请求匹配到合适的owl-s 使用input,output么？ 有没有类似的系统阿？ |
|
-- 作者：yanxq -- 发布时间：10/17/2006 6:38:00 PM -- 目前的构想多是使用IO匹配，但是这种匹配条件很粗糙。 觉得应该研究研究基于Precondition和Effect的匹配 实际成型的还不多，大有值得研究的地方 |
|
-- 作者：hehengw -- 发布时间：6/7/2007 9:21:00 PM -- 同意。 |
|
-- 作者：hehengw -- 发布时间：6/7/2007 9:42:00 PM -- 我也是研究这个的交流一下，QQ:348651656 |
|
-- 作者：okee -- 发布时间：6/8/2007 8:52:00 AM -- OWL-S目前好像还没有有一定规模的实验系统或环境。 而且由于DAML项目的终结，估计cmu, sri的人也不太可能给出一个类似于WSMX那样规模的官方参考实现了。 不过可以考虑用cmu, mindswap,hp已经开发出来的工具自己攒一个出来。
[此贴子已经被作者于2007-6-8 9:32:25编辑过]
|
|
-- 作者：zhaonix -- 发布时间：6/8/2007 11:35:00 AM --
我还发过一篇针对信息提供类Web Service进行基于IOPE的匹配的小论文（ASWC2006的一篇short paper，见附件）。但我现在怀疑这是不是一个不可能完成的任务？ PE的匹配或许就是一个FOL或其某种子集的推理问题，在AI历史上，类似问题至少两度被研究过：一是在50-60年代的自动定理证明系统，二是近许多年来的planning系统。 结果是：1）定理证明系统最初证明了一些定理颇令人激动，但很快遇到了瓶颈：限于FOL 的不可判定性，还是无法实现其最初的宏伟目标：代替人脑去在很大的领域内自动地发现、证明新定理； 2）planning系统，也只能在一个相当有限的表达能力之下（比如早期的STRIPS只支持正文字的合取式）实现PE的匹配，而这个“有限”使得这种系统从来没有在日常的生产、生活中实用过，但据说在火星探测器、火山探险机器人等严酷环境下获得了应用。 试想：在封闭世界下的AI中，经过那么多的研究了、依然做不到完全的自动，现在到了开放的web环境下，反而能实现自动发现、自动组合了？我相当地怀疑，正在徘徊中。 但是，或许像DL人的思路那样：我们可以选取一个特定的表达能力范围、在一个特定的领域内，或许能实现自动匹配、自动组合？ 一个好消息是：两年一度的国际planning竞赛IPC大有越来越兴旺之势。 为了发论文、为了毕业，或许可以沿这个思路一试。（但将来工作后，呵呵，我可不愿继续碰这个了） 俺的看法偏悲观，对推理问题的研究也很肤浅，大家批判！  
|
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
46.875ms |