以文本方式查看主题

-  计算机科学论坛  (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=25967)


--  作者:erickong
--  发布时间:12/28/2005 9:48:00 PM

--  本体中的关系、函数、公理
关于Perez对本体的五元组划分,概念和实例好理解,关系和函数有点理解,就是这公理具体指什么?因为在描述逻辑中,公理好像指概念间的关系,那么在本体中公理指什么呢?
--  作者:jiachong
--  发布时间:12/28/2005 10:28:00 PM

--  
我理解公里就是由已有关系实例推出新的关系实例的规则
倒是函数不太理解
--  作者:erickong
--  发布时间:12/29/2005 10:08:00 AM

--  
属性属于关系、函数还是公理?
--  作者:雪褥织影
--  发布时间:12/29/2005 1:28:00 PM

--  
OWL中的公理基本沿用了描述逻辑中公理的含义
RDF(S)中并没有明确提到公理一词
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
40.039ms