-- 发布时间：12/25/2004 11:08:00 PM
-- 关于描述逻辑的几个菜鸟问题...
小弟最近初学描述逻辑，对其中的不动点语义极为不解，还请各位大侠不吝赐教！
到底什么是不动点，什么是不动点语义？？另外，还有一个问题：
描述逻辑知识库中的TBox与本体有什么区别和联系？请赐教...
|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (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=13019) |
|
-- 作者：elisen -- 发布时间：12/25/2004 11:08:00 PM -- 关于描述逻辑的几个菜鸟问题... 小弟最近初学描述逻辑，对其中的不动点语义极为不解，还请各位大侠不吝赐教！ 到底什么是不动点，什么是不动点语义？？另外，还有一个问题： 描述逻辑知识库中的TBox与本体有什么区别和联系？请赐教...
|
|
-- 作者：elisen -- 发布时间：12/25/2004 11:49:00 PM -- 我认为：描述逻辑知识库中的TBox中定义的是内涵知识，是在某个领域中的共享概念，在这一点上应该与本体的思想一致，两者都是表示关于知识的知识，也就是元知识，不知道这样理解对不对？欢迎讨论... |
|
-- 作者：ChouBill -- 发布时间：1/6/2005 9:55:00 AM -- 描述逻辑中的TBox是不是对应OWL中本体的定义部分，ABox就是OWL中的实例部分？ |
|
-- 作者：admin -- 发布时间：1/6/2005 9:12:00 PM --
同意。 |
|
-- 作者：江都狂人 -- 发布时间：5/17/2005 10:22:00 PM -- 哪位大侠能说清楚fixpoint，也与我分享一下，zjwjy@hotmail.com |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
62.500ms |