以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  请教：someValuesFrom和allValuesFrom的区别  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=27665)

--  作者：kkk305145298
--  发布时间：2/23/2006 5:09:00 PM

--  请教：someValuesFrom和allValuesFrom的区别
有谁能帮助详细介绍一下someValuesFrom和allValuesFrom的区别？多谢
--  作者：kolapig
--  发布时间：2/24/2006 12:07:00 AM

--  
就是exist 和 for all 区别

exist=somevaluefrom
forall=allvaluefrom
两个例子:假设张三是下面两个概念的实例

exist hasChild Female: 表示张三*一定*有孩子,并且是女儿(但不知道张三是否有儿子)
forall hasChild Female: 表示*如果*张三有孩子,那么所有的孩子都是女的. 也就是说如果有孩子的话,不会是儿子,只能是女儿.但是如果前提不满足(也就是张三根本就没有孩子),那么张三也是属于forall hasChild Female.

--  作者：kkk305145298
--  发布时间：2/24/2006 9:29:00 AM

--  
多谢，你分析得真是很透彻，我明白多了
--  作者：kkk305145298
--  发布时间：2/24/2006 9:33:00 AM

--  
请问kolaping。你是否知道，建完中文本体导入到数据库后，protege中的中文就变成问号了，所以在打开就出现问题了，不知道是什么原因？有没有解决的办法？
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 5,984.375ms