在某些文章中，我读到他们已经将Konclude和Elk配置为具有不同线程的并行推理程序。如何并行化Konclude推
我将如何在OWL / Protege中表示以下推理？
<blockquote>
如果A型分子的碳链长于B型分子，则A的沸点大于B
我尝试用Protege提供的不同推理器（HermiT，Pellet，jcel）推理一个很大的本体（eclass-owl：<a href="http://www.hep
我正在尝试向内置的RDFSPlus（优化）规则集添加一个简单规则，以使GraphDB从RDF *断言中生成推断的（隐式
我正在制作一个静态 RDFS-Plus 推理引擎。
我编写了一个函数，可以对包含的所有结构进行适当的推
我们正在努力验证具有三个功能的系统，如下所示。但是，我们不知道如何进一步进行这样的证明。 Coq
我读到 virtuoso 7.x 不支持 SWRL，但有没有其他方法可以实现（在 Virtuoso 7.x 中）以下内容：
鉴于：
<pre>
我们有 16 个团队和 2 个场地。周一 60 分钟和周二 120 分钟均可使用 2 个场地。这意味着周一可以进行 2
我正在尝试使用推理器 Hermit 1.4.3 构建一个简单的本体，以检查在 protege 中如何推断类表达式。
本
我有一个相当大的本体（大约 80 GB）。我认为推理器将整个本体带入内存以进行推理过程，不是吗？
有
我是这个领域的新手；我想知道如何知道 RDF 支持的推理/推理级别，任何在 Jena 中计算推理级别的想法
我想将 Blazegraph 数据库转储或保存到只有断言的三元组的文件中。这里有 <a href="https://stackoverflow.com/quest
这是一个（粗略的）OWL 模型，它是关于我国各部委正式财务预算法案文件模板的。它显示了预算法案标
有多少种方式，你可以用 1 美元、2 美元和 5 美元的面额支付 N 美元，这样
<ul>
<li>1 美元硬币的数量
我有一个用例，我试图推断特定用户是否对资源具有管理员访问权限。我正在使用 GraphDB。
我的本
我正在创建一个案例发生的本体，即多个人具有相同的名字。通常，我会根据名称创建 IRI。例如
<pre>
我有两个 Python 函数，用于对包含为字符串的整数列表进行排序。它们如下：
<pre><code>import random
n = 1
