以文本方式查看主题

-  中文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