1回答
在我的实验中，我需要实现一个由TBox/schema和ABox/data组成的dbpedia本体。为此，我将dbpedia本体/TBox/schema ()与DBPedia知识图中的ABox/data部分合并(我只在中获取了2%的数据)。在实现这个合并文件之前，我首先使用HerMit推理器运行一致性检查。合并的文件是一致的。但是当我使用HerMit推理器运行物化服务时
浏览 0提问于2018-04-25得票数 1
回答已采纳
1回答
我试图学习如何正确地使用OWLAPI，但我遇到了一些麻烦:我有一个本体论，它构造了活动(例如，个人和社会活动)；我的目标是创建一个简单的不一致示例，以便使用这个API:我想声明足球是一项个人活动。CHECK ///
下面是Hermit此外，我还打印了ABOX内容：
___________
浏览 10提问于2018-02-08得票数 0
有没有办法让推理机(比如Protege中的HermiT )检查本体的一致性和marmotta中的推理？或者有没有办法从本体文件中为sKWRL推理机生成规则？
浏览 1提问于2015-07-05得票数 0
1回答
我使用OWL API对Protege中创建的本体进行推理。我正在处理OWL API示例DL查询：。我猜这个例子提供了等同于Protege中的DL Query Tab的功能。
浏览 2提问于2013-05-07得票数 2
回答已采纳
1回答
我已经练习了两个月的精神和本体论，现在我想要理解(如果可能的话)一个推理者。但我不知道它的结构，它所用的语言等等。你能给我提供一条信息和一些阅读的东西吗？谢谢。
浏览 3提问于2014-12-31得票数 4
回答已采纳
2回答
我正在使用用于python的owlready2 api来加载本体，并使用sync_reasoner()函数检查该本体的一致性。但是，它似乎并没有检查本体的一致性。虽然有一个错误，但它没有显示任何！我是否知道如何使用owlready2或任何其他api来检查python中本体的一致性。C:\Users\44999038\AppData\Local\Programs\Python\Python36-32\lib\site-
浏览 2提问于2018-07-03得票数 0
回答已采纳
我将OWLAPI与HermiT一起使用，除非我在创建推理器后尝试修改本体，否则它会起作用。编辑:什么“不工作”：我添加了一个使本体不一致的公理，如果我在创建推理器之后添加它，推理器仍然报告它是一致的。
浏览 12提问于2020-02-07得票数 0
推理机对这项工作有用吗？搜索我遇到了很多原因，但我不能理解他们的用法，尽管我相信他们可能是相关的。我在这里发现了很多关于Protege的问题，但没有一个是真正有帮助的。
浏览 0提问于2016-03-07得票数 0
1回答
本体验证器
、、
我目前正在研究开发一个基于web的本体编辑器。我需要验证我的工具编辑的本体是一致的，并正确地推断知识。另外，我想获得一些关于本体论的一般统计数据。有没有在线的本体验证器工具，我可以用来满足这个需求？OWL 2 Validator和OWL Metrics似乎不再有效。
浏览 0提问于2015-08-16得票数 0
1回答
用OWL推理推断域/范围
、、、、
如何使用推理器推断给定数据/对象属性的OWL域/范围？ <Class IRI="#Bird"/></DataPropertyDomain>
当我使用HermiT推理器推断域时，我得到
浏览 5提问于2017-03-05得票数 0
回答已采纳
z) 和以下对象属性断言： o1 has_part o2
o1 participates p1 当我在Protege中运行Hermit推理机时，我获得了以下推断的对象属性断言： o2 participatesp1 但是，当我用owlready2加载相同的本体并运行它的Hermit reasoner时，我没有得到任何推断的对象属性断言。我确实将本体保存为RDFXML格式，并且可以使用owlready2检索SWRL规则。 owlready2推理机不支持这种推理吗？
浏览 115提问于2021-05-05得票数 1
1回答
使用以下查询： WHERE {uni:Fast_smartphone ?x ?y } x是推理者被打开并同步(隐士)。
浏览 3提问于2015-03-05得票数 0
回答已采纳
我对语义网和推理机的概念完全陌生，很抱歉我太天真了。然后，我将一个Demo.Java文件添加到项目中，并使用同一网站上给出的命令在命令提示符下运行此文件。我使用推理机的本体是我从网站上获得的pizza.owl(rdfs:哺乳动物亚类)(rdfs:subClassOf Dog An
浏览 105提问于2015-06-18得票数 1
回答已采纳
我下载了Protege4.0.2，并在其中创建了一个本体，但我似乎没有任何推理者来检查它的一致性。我已经浏览了很多，但没有找到一个东西，如何安装推理机。
提前谢谢。
浏览 5提问于2015-02-09得票数 0
回答已采纳
1回答
用猫头鹰推理可以做些什么？
、、、、
我正在研究一个OWL本体，我需要一些具体的问题，我只需要本体模式(TBox)，我迷路了，使用推理、sparql和OWL可以完成哪些操作？每个推理，sparql和OWL的用途是什么？哪一个适合我的情况？实际上，我不知道如何开始和使用什么技术。此外。请给我参考一下好吗？
谢谢。
浏览 1提问于2014-09-16得票数 1
回答已采纳
2回答
隐逸推理者的解释
、、、、
我试着用隐士推理者来检查一致性。在默认情况下，隐士推理官没有为这些不一致之处提供任何理由/解释。import org.semanticweb.owl.explanation.api.ExplanationcreateReasoner(o);
System.out.p
浏览 5提问于2014-10-24得票数 2
回答已采纳
我正在尝试运行LUBM基准测试，但我在分类和推理方面遇到了一些问题。我使用的文件是：
我已经修改了推理器设置，以显示所有
浏览 6提问于2017-01-23得票数 0
1回答
OWL 2本体一致性检查
、、、、
我试图将SBVR规则更改为本体(OWL 2)，然后使用隐秘推理器对它们进行一致性检查。然而，即使在规则不一致和本体不一致的情况下，隐秘推理者也表明本体是一致的。我对自己走错了方向感到茫然。我想知道本体论是否也不一致，如果是的话，推理者为什么不起作用。在我看来是这样，但我不明白为什么隐士推理者会这样说。它的代码是
import org.semanticw
浏览 1提问于2015-06-24得票数 0
根据OWL 2中对称和不对称属性的定义和中的解释，我将假设将非对称属性声明为对称属性将导致推理者检测到的不一致性(HermiT 1.3.8.413)，但Protégé5.2.0的情况并非如此。HermiT从下面的断言推断出正确的:isNeighbour范围为:Word和:W1 :isNeighbour :W2，并在:W1 :folllows :W2时检测到不一致性。这段代码似乎是文本的一种合理的形式表示(当单词彼此跟随(非对称)时，它们是对称的邻居)，但是在OWL的定义中，它似乎不一致，因为使用<
浏览 5提问于2019-10-19得票数 2
回答已采纳
我正在使用OWL-API加载带有SWRL规则的owl本体。Load an ontology while (r
浏览 33提问于2021-04-27得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
