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


«Mar.2021»
123456
78910111213
14151617181920
21222324252627
28293031


公告
暂无公告...

我的分类(专题)

日志更新

最新评论

留言板

链接


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




[语义Web理论]OWL 语义中的comprehension principles
科学研究

orangebench 发表于 2004/11/18 23:13:55

为什么在OWL Full语义中要comprehension principles呢?先举个例子:John 是概念Intersection(A B C)的实例,能否推出John 是概念Intersection(A B)的实例呢?如果OWL FULL照搬RDF的语义,它是推不出来的。因为在RDF中,类也是实例,我们无法保证在所有在John是概念(A,B,C)的交 为真的解释中,存在一个对象 Intersection(A B)(注意:Intersection(A B)必须是论域中的一个元素)。问题在于:一些OWL的类表达式必须同时也是一个实例,所以,OWL FULL语义中利用comprehension principles为每个类表达式添加一个对应的实例。但循环定义不能有comprehension principles,因为会导致语义悖论。 参考:【1】Jeff Z. Pan and I. Horrocks. RDFS(FA) and RDF MT: Two Semantics for RDFS. In Proceedings of the 2nd International Semantic Web Conference (ISWC2003).【2 】From SHIQ and RDF to OWL– The Making of a Web Ontology Language


阅读全文(4435) | 回复(-3) | 编辑 | 精华
 



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



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

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