本站首页    管理页面    写新日志    退出


«February 2021»
123456
78910111213
14151617181920
21222324252627
28


公告
暂无公告...

我的分类(专题)

日志更新

最新评论

留言板

链接


Blog信息
blog名称:语义Web step-up
日志总数:22
评论数量:81
留言数量:5
访问次数:204665
建立时间:2004年10月29日




[语义Web理论]能否找到一个OWL Full的RDFS兼容的,可判定的子集?
科学研究

orangebench 发表于 2004/11/18 23:14:38

我们知道,用OWL 描述本体有个很烦的跷跷板现象:1) 如果用OWL DL或Lite 描述本体,则当用RDF表达关于这个本体的事实部分的时候,大部分RDF的功能都不能用了,如类可以当实例看,属性的属性,关于声明的声明(reification),而这些功能正是RDF的鲜明特性,如果这些都不能用,还能叫RDF吗?2) 如果用OWL Full 描述本体,一切Okay, 完全兼容RDF(S),RDF的全部功能都能用,但是描述逻辑学家告诉我们:OWL Full是不可判定的,目前没有推理机完全实现了对OWL Full的推理(或许二价逻辑的推理机可以),这等于在说,OWL Full实际上是没用的,提出来,就是为了安慰RDF(S): 哦,OWL没有完全背叛RDF,有个大佬和RDF兼容了。 RDF(S)本身是一个非常完美的形式系统,有形式化的语法,语义,而且是可判定的,还有证明论(entailment closure),并且是可靠和完全的。但RDF Schema表达能力实在是太弱了,没法构造概念,关于属性就一个定义域和值域。 我一直在想,我们能否找到一个OWL Full的子集,扩展了RDF Schema的表达能力,且完全兼容RDF Schema,并且是可判定的,不像OWL DL那样不兼容RDF(S), 不像OWL Full那样不可判定。 大家有什么看法? 这个可判定的OWL Full子集 又在何方呢?


阅读全文(5341) | 回复(1) | 编辑 | 精华
 


回复:能否找到一个OWL Full的RDFS兼容的,可判定的子集?
科学研究

jonee(游客)发表评论于2007/4/24 21:10:09

owl full不可判定,但应该还是有应用的可能的.可以通过时间限制来结束不可判定推理的无限推理过程啊.


个人主页 | 引用回复 | 主人回复 | 返回 | 编辑 | 删除
 


» 1 »

发表评论:
昵称:
密码:
主页:
标题:
验证码:  (不区分大小写,请仔细填写,输错需重写评论内容!)



站点首页 | 联系我们 | 博客注册 | 博客登陆

Sponsored By W3CHINA
W3CHINA Blog 0.8 Processed in 0.016 second(s), page refreshed 144523697 times.
《全国人大常委会关于维护互联网安全的决定》  《计算机信息网络国际联网安全保护管理办法》
苏ICP备05006046号