|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- 关于owl:hasvalue (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=52195) |
|
-- 作者：anzhiruosu -- 发布时间：9/4/2007 5:16:00 PM -- 关于owl:hasvalue owl指南中讲到l了owl：hasvalue这个原语是用来限定一个类所必须具有的一个特定属性值。但我现在不明白的是：到底hasvalue是充分约束还是必要约束，即如果一个个体拥有这个特定属性值就属于这个类，还是说这个类的所有个体都具有这个属性值？ 可能问题有些肤浅，但还望有人能提供正确的理解，谢谢。 [此贴子已经被作者于2007-9-4 18:40:47编辑过]
|
|
-- 作者：kolapig -- 发布时间：9/4/2007 10:31:00 PM -- 你没有指明owl:hasvlue的出处.如果照你描述的来讲, `owl：hasvalue这个原语是用来限定一个类所必须具有的一个特定属性值`, 应该是必要属性. |
|
-- 作者：jpz6311whu -- 发布时间：9/4/2007 10:36:00 PM -- hasvalue是class的Property restriction的一种，它本身无所谓是充分还是必要 充分还是必要是由class axioms决定的，比如 3.2.1 rdfs:subClassOf 必要约束 3.2.2 owl:equivalentClass 充分必要约束（等价关系） |
|
-- 作者：wjwenoch -- 发布时间：9/5/2007 6:14:00 AM -- "The value constraint owl:hasValue is a built-in OWL property that links a restriction class to a value V, which can be either an individual or a data value. A restriction containing a owl:hasValue constraint describes a class of all individuals for which the property concerned has at least one value semantically equal to V (it may have other values as well)." From: http://www.w3.org/TR/owl-ref/#hasValue-def Note the comment in the brackets. It should resolve your concern. |
|
-- 作者：anzhiruosu -- 发布时间：9/5/2007 6:55:00 PM -- 看了四楼的介绍，感觉应该是必要约束，也就是如果是这个类，那么必须就具有这个属性值；但反过来应该不成立的吧：即如果一个个体具有这个属性值，那么它就属于这个类。 |
|
-- 作者：dulm -- 发布时间：3/1/2009 6:38:00 PM -- 今天运行了下protege，发现定义individue的时候不添加hasvalue指定的属性和值，individue在推理后不是出现错误而是自动添加这个属性和值。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
54.688ms |