以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  Pellet检查本体一致性时遇到的问题  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=66359)


--  作者:hyue2009
--  发布时间:8/25/2008 10:00:00 PM

--  Pellet检查本体一致性时遇到的问题
我编辑了一个本体文件,用Protege连接Pellet对本体文件进行一致性检查,检查结果显示有不满足的类概念。当我在JBuilder中应用Pellet1.5的源文件对该本体文件进行一致性检查时,检查结果显示本体文件是一致的,但检查结果也列出不能满足的类概念,这些类概念同Protege连接Pellet检查的不满足概念一样,这时为什么?既然有不能满足的概念,为什么还显示是一致的呢,请高手指点一下,谢谢!
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
31.250ms