以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  问一个本体的小问题  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=21982)


--  作者:bigben
--  发布时间:9/7/2005 5:03:00 PM

--  问一个本体的小问题
假设有hasChild这样一个关系,怎么保证它是一个顺序的关系,
比如hasChild(a,b),hasChild(b,c)那么不可能有hasChild(c,a),不能有这样的回路。
这个用OWL怎么表示?这样的约束是属于本体的吗?
--  作者:iamwym
--  发布时间:9/8/2005 5:32:00 AM

--  
楼主你在搞笑吗?
hasChild(你爷爷,你爸爸)表示你爷爷有孩子是你爸爸
hasChild(你爸爸,你)表示你爸爸有孩子是你

那么hasChild(你,你爷爷)成立?


--  作者:bigben
--  发布时间:9/8/2005 10:55:00 AM

--  
我没有搞笑,我是想在本体中怎么避免这种情况的发生,
怎么建立这种约束让它可以判断这种情况?
--  作者:admin
--  发布时间:9/8/2005 11:02:00 AM

--  
楼主是不是想表达这种情况:

like(赵薇,汪雨)
like(汪雨,黄奕)

==> not like( 黄奕,赵薇 )


--  作者:bigben
--  发布时间:9/8/2005 12:35:00 PM

--  
不是这种情况,我想我可能没有表达清楚。我想表示一种有顺序的关系,
就像事件发生的时间先后顺序一样,如果有A>B,B>C,那么就不能存在C>A,
这种顺序是不可逆的
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
46.875ms