以文本方式查看主题

-  中文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=65606)

--  作者：棠tang
--  发布时间：8/8/2008 2:50:00 PM

--  请教一下有关本体一致性检测问题[求助]
大家好，我的论文要研究本体一致性问题。可是我看有关这方面的论文不多。看了一些论文，现在有很多的问题，我列举如下：

1. 我看一些论文提到一致性检测和实例检测，请问这两个的区别是什么？
2. 我想用protege连接racer来做一致性检测，可是racer是不是只支持中文的？因为项目需要，在protege中class是用中文表示的，property是用英文表示的，individual是用中文表示的。这样子racer可以支持么？
3. racer是不是不支持对individual instance推理的？
4. 听说protege4.0是自带推理机的，那么还有必要连接racer来进行一致性检测么？
5. 再问一下问题哈，一致性检测一般有什么方法？比如基于描述逻辑，基于OWL，基于公理还是怎么的？有没有这样子的分类，我有点混乱了。
6. 最后一个问题了。。。如果我写基于OWL的本体一致性检测，那么要不要涉及到描述逻辑的ABOX和TBOX？如果想在一致性检测上有所创新的话，该往哪个方向写呢？还是改进tableau算法之类的？

这么些问题，实在是让大家见笑了。请大家给点指点意见，我比较着急哦，谢谢啦~~~

--  作者：gqi
--  发布时间：8/13/2008 11:26:00 PM

--  
建议先去看看描述逻辑手册前几章在来问这些问题吧
--  作者：happy2009
--  发布时间：7/2/2010 3:19:00 PM

--  
要涉及到描述逻辑的ABOX和TBOX。如果想在一致性检测上有所创新的话，应该往改进tableau算法方向上靠？
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 47.119ms