以文本方式查看主题

-  W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  [求助]protege4.0中的问题  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=61704)

--  作者：feifiang
--  发布时间：4/23/2008 11:41:00 AM

--  [求助]protege4.0中的问题
protege 4.0自带了pellet推理机，这样方便了本体的推理，但是怎样能把一致性校验后的本体单独存储呢，每次存储后，都是原来的本体和校验后的本体一块保存了下来，下次打开还是原来的本体，校验后的本体不能正常显示，需要再进行一次推理才能正常显示。这是什么问题？求高手帮忙解答，不胜感激！
--  作者：jpz6311whu
--  发布时间：4/24/2008 11:12:00 PM

--  
protege没有这个功能
--  作者：vinoya
--  发布时间：12/9/2008 10:00:00 AM

--  
以下是引用feifiang在2008-4-23 11:41:00的发言：
protege 4.0自带了pellet推理机，这样方便了本体的推理，但是怎样能把一致性校验后的本体单独存储呢，每次存储后，都是原来的本体和校验后的本体一块保存了下来，下次打开还是原来的本体，校验后的本体不能正常显示，需要再进行一次推理才能正常显示。这是什么问题？求高手帮忙解答，不胜感激！


我是新手，请问如何使用reasoner的推理机，推理的结果哪里有啊？
谢谢！
--  作者：lipeiqiang1997
--  发布时间：12/9/2008 5:30:00 PM

--  
关注中
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 3,875.000ms