我将OWLAPI与HermiT一起使用，除非我在创建推理器后尝试修改本体，否则它会起作用。编辑:什么“不工作”：我添加了一个使本体不一致的公理，如果我在创建推理
浏览 12提问于2020-02-07得票数 0
1回答
本体验证器
、、
我目前正在研究开发一个基于web的本体编辑器。我需要验证我的工具编辑的本体是一致的，并正确地推断知识。另外，我想获得一些关于本体论的一般统计数据。有没有在线的本体验证器工具，我可以用来满足这个需求？
浏览 0提问于2015-08-16得票数 0
1回答
早上好，我正在编写一个可以管理本体的java类，特别是我想找到所有的属性(名称、子类、超类、ecc.)一个OWLClass，但我无法尝试执行隐士，我也不明白为什么。我使用Eclipse项目，pom文件中的依赖项是从隐士示例中复制的，OWLapi依赖项也是如此。java控制台中的错误是： at org.semanticweb.HermiT.Reasoner<init>(Reasoner.j
浏览 0提问于2018-12-02得票数 0
回答已采纳
我想从本体文件dbpedia_2016-10.owl (从下载)中删除file本体类，我通过引用其他代码构建了这个方法，因为我是这个领域的初学者：org.semanticweb.HermiT.datatypes.UnsupportedDatatypeException: HermiT supports all and现在，我发现HermiT在抱怨它不认识的数据类型，但是如何在不修
浏览 8提问于2019-12-09得票数 0
回答已采纳
1回答
考虑一个名为“奶牛”的个体。它的类别也是“牛”，反过来，牛是哺乳动物的子类，而哺乳动物是生命的子类，等等。如果我可以按以下方式访问OWLNamedIndividual： { i = Cow (NamedIndividual) One Level up class = Mammal我试过以下几种方法，但都没有用
Sy
浏览 1提问于2014-09-30得票数 1
回答已采纳
1回答
OWL 2本体一致性检查
、、、、
我试图将SBVR规则更改为本体(OWL 2)，然后使用隐秘推理器对它们进行一致性检查。然而，即使在规则不一致和本体不一致的情况下，隐秘推理者也表明本体是一致的。我对自己走错了方向感到茫然。我想知道本体论是否也不一致，如果是的话，推理者为什么不起作用。在我看来是这样，但我不明白为什么隐士推理者会这样说。它的代码是
im
浏览 1提问于2015-06-24得票数 0
然后我打开了别人创建的本体，当我运行HermiT推理器时，我得到了以下错误： An error occurred during reasoning: String '^(\(?\+?(OWLClausification.java:880) ~[na:na]
at uk.ac.manchester.cs.owl.owlapi.OWLDatatypeRestrictionImpl.acceptNormalizedAxiomClausifier.visit(OWLClausi
浏览 34提问于2020-10-27得票数 1
回答已采纳
1回答
我正试图在一个本体上运行推理。(OWLClausification.java:819) uk.ac.manchester.cs.owl.owlapi.OWLDataSomeValuesFromImpl.accept(OWLDataSomeValuesFromImpl.java我通过在文本编辑器</e
浏览 0提问于2016-04-13得票数 1
我想构建一个Java应用程序，它将使用Pellet查询来查询本体，但是我是这个领域的新手，并且我遇到了一些兼容性问题。
使用Protege 4 OWL编辑器构建了本体。对于pellet推理器，我已经从下载了pellet-2.3.0.zip，并将pellet-2.3.0/lib中的所有文件和文件夹添加到我的netbeans项目中(请注意，我不确定这是否是在netbeans除非我真的做错了什么，否则owlapi和pellet之间显然是不兼容的。这是不正常的，因为小球应该为o
浏览 8提问于2013-04-20得票数 0
1回答
用猫头鹰推理可以做些什么？
、、、、
我正在研究一个OWL本体，我需要一些具体的问题，我只需要本体模式(TBox)，我迷路了，使用推理、sparql和OWL可以完成哪些操作？实际上，我不知道如何开始和使用什么技术。此外。请给我参考一下好吗？
谢谢。
浏览 1提问于2014-09-16得票数 1
回答已采纳
本体是使用protege创建的，并使用owlready2库填充数据库中的数据。现在，这一行给出了这个错误：这是我遇到的错误：
无法分析本体。找不到合适的解析器，或者解析失败。有关说明，请参阅下面的解析器日志。尝试了以下解析器: 1) RDFXMLParser 2) OWLXMLParser 3) OWLFunctionalSyntaxOWLParser 4) TurtleOntologyParser 5)-----------------
浏览 13提问于2018-06-21得票数 0
在我的应用程序中，我需要将命名的个人添加到本体中。稍后，我需要能够检索这些命名的个体并确定它们的推断类型，但由于某些原因，我无法检索它们的类型。根据我正在使用的OWL推理器，我会得到一个异常或一个空集。考虑到这个问题可能与特定的OWL推理器有关，我尝试使用JFact、HermiT和Openllet。JFact抛出一个NullPointerException，HermiT只返回owl:Thing和Openllet。但是，当我保存对本体的更改以文件并重新加
浏览 4提问于2017-10-26得票数 1
回答已采纳
1回答
在我的实验中，我需要实现一个由TBox/schema和ABox/data组成的dbpedia本体。为此，我将dbpedia本体/TBox/schema ()与DBPedia知识图中的ABox/data部分合并(我只在中获取了2%的数据)。在实现这个合并文件之前，我首先使用HerMit推理器运行一致性检查。合并的文件是一致的。但是当我使用HerMit推理器运行物化服务时(我使用了来自的代码)，我发现了这个
浏览 0提问于2018-04-25得票数 1
回答已采纳
目前，我只是尝试加载本体并使用java owl api v3.4.8和HermiT实例化一个推理器，但是每当我尝试实例化推理器时，我都会收到错误消息 System.out.println("Loaded");
Reasoner hermit
浏览 7提问于2014-01-06得票数 1
1回答
我使用的是Proge4.3(也尝试了5-beta)和以下简单的本体：
Person
Man
接下来，我开始了推理者隐士1.3.8，但约翰并不被推断为一个人。
浏览 4提问于2015-07-19得票数 3
回答已采纳
1回答
我正在尝试运行Protege推理机，有两个推理机可用Fact++和HermiT 1.3.7。我找不到错误消息或日志消息。请提个建议。编辑1：org.semanticweb.owlapi.reaso
浏览 4提问于2014-07-03得票数 0
1回答
OWLAPI:基于分离的本体推理
、、、、
我有一个本体，有一个单独的a和6个类(A，B，C，D，E，F)。个人属于下列分离：(A或B；C或D；E或F)。reasoner.getTypes(
浏览 8提问于2022-01-05得票数 0
2回答
我试图使用SWRLAPI和OWLAPI将SWRL规则添加到本体中。我正在尝试使用与SWRLAPI兼容的OWLAPI版本。然而，在创建规则时，我仍然会遇到错误。这似乎是依赖关系管理的一个问题。我使用gradle作为依赖关系管理器，所以这应该解决了这个问题。
我的build.gradle依赖文件
浏览 0提问于2018-09-11得票数 3
回答已采纳
1回答
我想知道是否有一种方法使用Apache或OWL，通过给定的数据属性检索本体的个体，然后从它们的公共对象属性中匹配这些个体之间的关系。California,Texas,New York,Alabama
这是一个简单的领域本体，由Protégé创建：<?
浏览 3提问于2017-03-25得票数 0
我正在尝试创建一个HermiT推理机的实例，但是控制台继续显示异常"noSuchMethodError“。特别地，这是来自java控制台的错误： Caused by: java.lang.NoSuchMethodError: org.semanticweb.owlapi.model.OWLOntologyID.getDefaultDocumentIRI:77)a
浏览 74提问于2019-02-27得票数 0
回答已采纳
云服务器
ICP备案
对象存储
云点播
实时音视频
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号