以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- [求助]谁会把FAct++加到Protege里。(老板看了不要打我哦) (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=23439) |
-- 作者:bzcy -- 发布时间:10/21/2005 10:24:00 PM -- [求助]谁会把FAct++加到Protege里。(老板看了不要打我哦) RT
|
-- 作者:bzcy -- 发布时间:10/21/2005 10:26:00 PM -- 貌似不是很懂~ 虽然看了很多资料(English) 汗~ |
-- 作者:anthonjune -- 发布时间:10/22/2005 9:18:00 AM -- 我下载了,还没有用,希望大家在这里多多讨论 |
-- 作者:bzcy -- 发布时间:10/24/2005 2:41:00 PM -- 来人啊~~ |
-- 作者:qfenger -- 发布时间:4/6/2007 1:07:00 PM -- 转别人的: 系统是Ubuntu 6.10,下面的过程我不能保证在别的系统中也可以,但应该差不多。 1.去http://owl.man.ac.uk/factplusplus/下载FACT++。下载二进制版本好了。我现在下载到的版本是1.1.5。 2.原来用1.1.4的时候还要再安装库文件,现在这个版本好像直接就可以运行了,至少在我的电脑上是这样。解压下载下来的文件,进入其中的bin文件夹,运行FaCT++.Server。如果正常的话,命令行上会有如下输出: FaCT++.Kernel: Reasoner for the SROIQ(D) Description Logic Copyright (C) Dmitry V. Tsarkov, 2002-2007. Version 1.1.5 (12 March 2007) HTTP Interface Copyright (C) Matthew Horridge 2005 FaCT++ running on zk port 3490 3.打开Protege,我的版本是3.2.1。菜单栏OWL --> preferences,在弹出的对话框中的Reason URL文本框中,端口改成3490。 4.菜单栏OWL --> Reasoner Inspector --> Refresh,应该就能找到了。 |
-- 作者:meng_ke -- 发布时间:4/8/2007 3:39:00 PM -- 同意楼上。我也是这么做的。 |
-- 作者:wymautumn -- 发布时间:4/8/2007 7:17:00 PM -- 我不知道啊 |
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
46.875ms |