回答情况：
提问时间：
问题标签：
我使用的是一个定义的类，我想要做的是说这样的话：使用隐士推理器，它可以正确地推断出我的个人是该类的成员，但使用Fact++则不是。我想使用Fact++推理器，我有什么方法可以修改它使Fact++识别它吗？
浏览 2提问于2014-03-21得票数 0
回答已采纳
它也显示了一个推理选项卡，但在选择fact++之后，我没有看到任何变化。
如果我没有正确地完成它，那么我可以从哪里下载fact++或任何其他推理者为抗议者，以及我如何安装它。
浏览 5修改于2022-07-03得票数 0
回答已采纳
我想通过OWL API使用Fact++。我试着使用libFaCTPlusPlusJNI.so。但它给了我以下例外。
浏览 1修改于2013-05-06得票数 0
我使用的是Protégé4.3，我希望将推理者的结果保存到本体文件中。当我阻止推理者时，所有的结果都消失了。
浏览 5修改于2014-09-10得票数 2
回答已采纳
1.6.4-SNAPSHOT (10 April 2015)org.semanticweb.owlapi.reasoner.ReasonerInternalException: FaCT
浏览 4修改于2016-04-12得票数 0
回答已采纳
我正在安装FACT++库，但是当我安装make时，我会得到以下错误：
cc1plus: warning: /usr/lib/jvm/java-11-openjdk-amd64/include/jni.h
浏览 2提问于2021-06-15得票数 0
我正在研究本体，但是当我在Protege中使用FACT++时，FACT++抛出了一个错误。我读到了关于FACT++的数据类型错误的文章，但是我找不到FACT++支持的数据类型。
浏览 11提问于2016-08-29得票数 0
回答已采纳
add = -1 * chis / znam; chis *= -1 * (x * x); znam *= fact * (fact + 1); printf(" %9f
浏览 8修改于2022-10-20得票数 0
回答已采纳
在下面的本体中，我试图通过使用OneOf使男孩成为女孩的补充，但是使用Fact++或Hermit，我无法通过查询男孩(Proge5.2DL查询)获得任何实例，有什么建议吗？
浏览 2提问于2018-05-18得票数 0
回答已采纳
在Protege中使用SWRLTab和SQWRLTab编写新规则时，我们使用FaCT++、Pellet等语义推理器或Drools或Jess等规则引擎在SWRL语言中定义约束规则，并使用SQWRL语言进行查询
浏览 66修改于2016-10-11得票数 1
1回答
我正在使用FaCT++和一个简单的本体研究Protege4中OWL限制的概念。假设我有一个Something类的foo
:Something a owl:Class.
浏览 5提问于2013-04-16得票数 2
回答已采纳
2回答
我认为第一种类型相当于第二种类型，但是reasoner FaCT++在启动15秒后就被冻结了(3+ GB浪费和冻结)。HermiT并不冷，但他只能推断子类。谢谢你的回答。
浏览 1修改于2017-05-23得票数 0
回答已采纳
assertionssame individuals另一方面，当我在同一个本体上运行FactFact++正在抛出异常“无效url".How，我应该解决这个问题吗？
更新# 1对不起，我无法找到发生上述场景的owl文件。
浏览 2修改于2015-02-24得票数 0
回答已采纳
com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.getDataRange(DatatypeReasonerImpl.java:440)我是不是在本体中有错误，或者推理者不能对这种模式限制进行分类？
浏览 4修改于2015-10-08得票数 0
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号