|
以文本方式查看主题 - 计算机科学论坛 (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=25201) |
|
-- 作者：erickong -- 发布时间：12/9/2005 4:01:00 PM -- [求助]请问“公理”和“事实”有什么区别？ 描述逻辑中的TBOX和ABOX好像都算是公理。可是有篇文章中说TBox对应于OWL中的公理，ABox对应于OWL中的事实。请问这里的公理和事实有什么区别吗？ |
|
-- 作者：superc_7 -- 发布时间：12/9/2005 4:23:00 PM -- TBOX和ABOX没有研究过 但DL对应的应该是OWL DL OWL DL中一个资源不能同时既是类（Class）又是实例（Instance） 因而感觉公理应该是建立在类之间的，而事实应该是建立在实例之间的 呵呵，没有严谨的研究过，个人意见 |
|
-- 作者：erickong -- 发布时间：12/9/2005 4:31:00 PM -- 我当初也是这么理解的。可是有些文章中要么将类之间的关系和实例之间的关系都说成公理，要么都说成事实，把我搞晕了。 |
|
-- 作者：gqi -- 发布时间：12/16/2005 12:49:00 AM -- 所谓Tbox就是有一些术语公理terminological axioms 组成的集合，比如说"企鹅是鸟"，这里企鹅和鸟都是概念concept。而Abox则是由一些断言assertion names组成的集合，比如说"月亮是行星 "，这里月亮是实例instance，而行星是概念concept。查考一下description logic handbook的第二章就可以了。我觉得还是看英文的文章更好，讲的很清楚的。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
3,363.281ms |