以文本方式查看主题

-  W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL  (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=84054)

--  作者：cqcookie
--  发布时间：3/29/2010 3:44:00 PM

--  关于描述逻辑枚举算子的推理问题

此主题相关图片如下：
按此在新窗口浏览图片
--  作者：cqcookie
--  发布时间：4/28/2010 8:31:00 PM

--  
以下是引用cqcookie在2010-3-29 15:44:00的发言：

此主题相关图片如下：
按此在新窗口浏览图片


这个问题终于解决了，原来racerpro只支持OWL Lite
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 31.250ms