以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  请问本体中的restrictions on properties的有关问题  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=27774)

--  作者：xirufeng
--  发布时间：2/25/2006 8:03:00 PM

--  请问本体中的restrictions on properties的有关问题
就是关于allvalueFrom,somevalueFrom和hasValueFrom的意思，能给举个例子么？
--  作者：baojie
--  发布时间：2/26/2006 3:04:00 AM

--  
allvalueFrom ：\forall P.C --> \forall x,y P(x,y) -> C(y)
somevalueFrom ：\exists P.C --> \exists x,y, P(x,y) and C(y)

比如 \forall marries.Human （（人）若结婚，配偶为人）。但是一个具体的人可以不结婚，没有配偶。整个人类种族也可以没有一个人结婚，不违反本axiom。

\exists marries.King (世界上有人嫁给国王)。 世界上至少有一个人，和国王结婚了。

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