|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- 关于使用protege+RacerPro进行实例推理的问题 (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=74891) |
|
-- 作者：bonndeng -- 发布时间：5/18/2009 12:28:00 AM -- 关于使用protege+RacerPro进行实例推理的问题 定义了类A及其子类AA，如果类A满足一定条件（如hasSon）则成为类AA；现在有a是A的一个实例，且a满足条件（hasSon），按理说可以得出“a是AA的一个实例”这个结论，但为什么却得不到呢？谢谢指教！ |
|
-- 作者：Samule526 -- 发布时间：11/9/2009 8:42:00 AM -- 请问你的这个问题解决了吗 ？ |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
31.250ms |