-- 发布时间：4/23/2006 9:06:00 PM
-- DL基本问题
这个Value restriction怎么理解还是没搞明白，上面这个式子还是看不懂啊，望高人指点一二
此主题相关图片如下：
|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- DL基本问题 (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=31125) |
|
-- 作者：kitten_ice -- 发布时间：4/23/2006 9:06:00 PM -- DL基本问题 这个Value restriction怎么理解还是没搞明白，上面这个式子还是看不懂啊，望高人指点一二 |
|
-- 作者：wolfel -- 发布时间：4/24/2006 1:32:00 AM -- 对属性的解释是二元关系，因此，对R的解释域中的二元组，如果一个二元组中的所有的第二元都是C解释域中的元素，就把其第一元放到这个value restriction类的解释域中。 比如forall hasChild.male, 解释域是二元组<a, b><a,c><a,d>,如果b,c,d都是male解释域中的元素，就把a放到forall hasChild.male的解释域中。如果有一个<a,e>，其中e是female解释域中的元素，则a就不是forall hasChild.male解释域中的元素了。直白的说，这个表达式就表示"those all of whose children are male"。 这个问题其实应该自己体会出来。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
46.875ms |