以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  如何在K<T,A>中表达约束呢？  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=23724)

--  作者：pen
--  发布时间：10/29/2005 1:57:00 PM

--  如何在K<T,A>中表达约束呢？
假定Herbivore和Carnivore都是primitive concpet，在知识库中如何表达下面这样的约束呢？
No individual can be both a Herbivore and a Carnivore

请赐教，谢谢！

--  作者：jiexincao
--  发布时间：10/29/2005 4:18:00 PM

--  
Herbivore和Carnivore之间使用disjoint？
--  作者：pen
--  发布时间：10/29/2005 4:52:00 PM

--  
在OWL中有disjoint这样的结构，但在ALC里面没有啊。在ALC中的表达可能是：
The concept conjunction of Herbivore and Carnivore is subsumbed by bottom,
或是 The concept conjunction of Herbivore and Carnivore is unsatisfiable，
但这样的东东应该怎样在TBox或者ABox中表达出来呢？
--  作者：jiexincao
--  发布时间：10/29/2005 7:03:00 PM

--  
这个我就不知道了
--  作者：kolapig
--  发布时间：11/3/2005 1:19:00 AM

--  
就是表示disjoint.
再DL中TBox 中 可以有下面几个表示方法：
1: (Herbivore and Carnivore ) subsumed Bottom
2: Herbivore subsumed (not Carnivore  )
3: Carnivore  subsumed (not Herbivore )
.....
--  作者：pen
--  发布时间：11/3/2005 9:13:00 AM

--  
多谢！但表示法1是否可行？TBox要求terminology的左边是atomic concept.
--  作者：kolapig
--  发布时间：11/11/2005 2:05:00 AM

--  
TBox  有要求axiom的左边是atomic concept吗？
如果非要这样

就是只能 Top subsumed (not (Carnivore  and Herbivore )),其实就是逻辑式子的变换

W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 62.500ms