回答情况：
提问时间：
问题标签：
当我使用sync_reasoner()函数时，本体将使用HermiT进行的推理(即默认推理器)进行更新。 do_operations_with_original_ontology() sync_reasoner
浏览 14提问于2018-09-23得票数 0
我在日志中记录了这个(如果它可以提供帮助的话)： INFO 13:31:37 REASONER CHANGED INFO 13:31:40 Pre-computing inferencesindividuals INFO
浏览 17修改于2020-04-27得票数 0
回答已采纳
fac.getOWLObjectProperty(IRI.create(propertyIRI));
NodeSet<OWLNamedIndividual> namedIndividualSet = reasoner.getObjectPropertyValuesHow can I access the explanation for one of the inferred object properties by the reasoner here?
浏览 0提问于2016-05-26得票数 1
new File("files/ontologies/OBMA2/photo1.owl"));reasoner= new FaCTPlusPlusReasonerFactory().createReasoner(photo1);System.out.println(reasoner</e
浏览 4修改于2013-10-14得票数 1
为了向您展示问题(这是一个bug)，我创建了一个最小的示例：@prefix : <http://www.test.com/ts#> .@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .@prefix xsd: <http://www.w3.org
浏览 4修改于2016-03-30得票数 2
回答已采纳
org.semanticweb.HermiT.Reasoner.ReasonerFactory
at org.semanticweb.HermiT.Reasoner.<init>(Unknown Source)at org.semanticweb.Her
浏览 2提问于2014-09-24得票数 4
回答已采纳
我使用的是Protégé4.3，我希望将推理者的结果保存到本体文件中。当我阻止推理者时，所有的结果都消失了。
浏览 5修改于2014-09-10得票数 2
回答已采纳
<#datasetmodelServiceInMemoryWithReasoner>
ja:reasoner [ ja:reasonerURL <http://jena.hpl.hp.com/2003
浏览 1提问于2016-03-21得票数 1
明天我要委托一个用protege制作的本体论的关系，但我想我做错了。我想做一个与PC列表相关的本体。每台PC都有CPU、GPU和主板。中央处理器必须兼容某些主板(isCompatibleWith某些主板)，PC必须包含恰好一个中央处理器，一个主板和至少一个图形处理器。
浏览 0提问于2017-01-17得票数 0
现在，这一行给出了这个错误：这是我遇到的错误：
无法分析本体。找不到合适的解析器，或者解析失败。有关说明，请参阅下面的解析器日志。
浏览 13修改于2018-06-24得票数 0
我在GitHub上使用的是Matthew Horridge项目的代码。我得到了下面的原因不一致的解释。你能告诉我为什么会这样吗？我的范围是4-9，我给的是数字5，不一致是什么？ DataPropertyRange(<http://www.semanticweb.org/katerina/ontologies/2015/3/farm2fork#test_dataProperty2> DataRangeRestriction(xsd:int facetRes
浏览 0提问于2016-01-18得票数 0
rules = new ArrayList<>(); reasoner.setDerivationLogging(false);
浏览 9提问于2017-02-16得票数 1
# Setup Assembler model with reasoner ja:defaultGraph :modelInf:modelInf rdf:type ja:InfModel; ja:reasoner [ at org.apache.jena.tdb.store.GraphTDB.close(GraphTDB.java:133)
浏览 1提问于2019-10-23得票数 1
回答已采纳
Protege在使用Pellet reasoner对此本体进行分类时崩溃： com.clarkparsia.pellet.datatypes.types.text.RestrictedTextDatatype.applyConstrainingFacet
浏览 4修改于2015-10-08得票数 0
/reasoner#B"/> <!/reasoner#D"/> <!：
Axiom :- SubClassOf(<http://www.semanticweb.org/ontologies/reasoner#
浏览 0提问于2016-07-22得票数 4
回答已采纳
;
public enum Reasoner{ PELLET, JFACT, ELK
public static String RunReasoner(Reasoner reasoner, OWLDataFactory df,= null;
if(reasoner == Reasoner<
浏览 17提问于2020-04-29得票数 1
回答已采纳
= reasonFactory.createReasoner(ont); }
reasoner.precomputeInferences;
import org.semanticweb.owlapi.reasoner.Node
浏览 1修改于2018-07-18得票数 0
回答已采纳
OWLDataFactory datafact=manager.getOWLDataFactory(); Reasonerreasoner= new Reasoner(config, ontology); reasoner.classifyDataProperties();
reasoner.classifyObjectProp
浏览 0提问于2018-03-29得票数 3
回答已采纳
org.semanticweb.HermiT.ReasonerFactoryOWLReasoner reasoner= factory.createReasoner(ontology, configuration);Reasonerreasoner = new Reasoner(configuration, ontolo
浏览 2提问于2016-07-27得票数 2
回答已采纳
下面是我的本体子类请求的一部分，使用JAVA-7和owlapi库：import org.semanticweb.owlapi.reasoner.OWLReasonerFactory;import org.semanticweb.owlapi.reasoner.OWLReasonerConfig
浏览 1提问于2016-12-30得票数 1
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号