以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  owl中多个subclassof是补是等于intersectionOf多个类????  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=17375)


--  作者:jpz6311whu
--  发布时间:4/23/2005 11:55:00 PM

--  owl中多个subclassof是补是等于intersectionOf多个类????
<owl:Class>
  <owl:intersectionOf rdf:parseType="Collection">
    <owl:Class rdf:about="#A" />
   <owl:Class rdf:about="#B" />
    <owl:Class rdf:about="#C" />
   </owl:intersectionOf>
</owl:Class>

<owl:Class>
      <rdfs:subClassOf rdf:resource="#A" />
   <rdfs:subClassOf rdf:resource="#B" />
    <rdfs:subClassOf rdf:resource="#C" />
</owl:Class>

请问这两个类是不是等价的??


--  作者:yanxq
--  发布时间:4/24/2005 12:12:00 AM

--  
这两个是不等价的
--  作者:hal9000
--  发布时间:4/24/2005 2:53:00 AM

--  
假设你定义的是D的话,在一个解释下,第一个D是A,B,C,D的交集, 第二个D是A,B,C,D的交集的子集
--  作者:heightor
--  发布时间:4/24/2005 5:46:00 AM

--  
??
是吗,感觉是是owl:Collection更加强调类所具备的限制条件,所定义的类必定在owl:Collection条件之下,当然,也就是满足所有条件的交;

而subClassOf本身在于强调该类和其他类之间的语义关系(这里是"is-a"关系).

就两者定义的初衷来看,好像不存在楼主的等价关系。subClassOf明显体现了层次关系;而IntersectionOf只强调交的关系,其中的类(A,B,C)未必是所定义的类(D)的父类。


--  作者:hal9000
--  发布时间:4/24/2005 6:38:00 AM

--  
不管在哪种情况下 A,B,C必然全都包容D,只是第一种D是直接子类,第二种D可能是间接子类罢了。
你可以试试举个不是子类的例子出来
--  作者:yanxq
--  发布时间:4/24/2005 11:05:00 PM

--  
可以从各自拥有的不同属性上去看这个问题吧,我认为
--  作者:sunglow
--  发布时间:4/25/2005 12:32:00 PM

--  
我觉得subclassof主要体现在类层次上, intersectionOf可以在同层操作
--  作者:Bethyu
--  发布时间:4/25/2005 3:50:00 PM

--  
大不一样啊
subclassOf对于class的定义只是必要条件
而intersectionOf则是充分必要条件
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
109.375ms