以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  本体（owl）与谓词逻辑 关系应如何描述？  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=68861)

--  作者：dengluxin
--  发布时间：10/29/2008 10:51:00 PM

--  本体（owl）与谓词逻辑 关系应如何描述？
“本体”当前已经形成了一套理论、语言、方法齐头发展的局面，就如同面向对象一样。

1、本体，作为一种知识表示方法，那么它与谓词逻辑的关系应如何描述才恰当呢？
2、owl与谓词逻辑呢？当然，这要先区别本体与owl。

--  作者：baojie
--  发布时间：10/30/2008 6:00:00 AM

--  
OWL 1 DL 对应DL SHOIN，是一阶谓词逻辑的子集
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 46.875ms