如何为Konclude推理并行化OWLlink服务器？
在某些文章中，我读到他们已经将Konclude和Elk配置为...
如何比较OWL中的属性？
我将如何在OWL / Protege中表示以下推理？ <bloc...
如何在Protege中推理大型本体？
我尝试用Protege提供的不同推理器（HermiT，Pellet，...
用于推论RDF *语句的GraphDB自定义规则集
我正在尝试向内置的RDFSPlus（优化）规则集添加一个...
需要一种算法来计算所有可能的推论
我正在制作一个静态 RDFS-Plus 推理引擎。 我编写了...
对应用于 Coq 中 nat 列表的函数进行推理
我们正在努力验证具有三个功能的系统，如下所示。但...
virtuoso 7.x 中的推理
我读到 virtuoso 7.x 不支持 SWRL，但有没有其他方法...
如何计算给定天数的匹配数
我们有 16 个团队和 2 个场地。周一 60 分钟和周二 ...
对象属性断言的 Protege 推断
我正在尝试使用推理器 Hermit 1.4.3 构建一个简单的...
推理一个相当大的本体
我有一个相当大的本体（大约 80 GB）。我认为推理器...
如何知道任何 RDF 的推理/推理级别
我是这个领域的新手；我想知道如何知道 RDF 支持的推...
如何将 Blazegraph 数据库转储/保存到只有断言的三元组的文件？
我想将 Blazegraph 数据库转储或保存到只有断言的三...
具有包含特定字符串的属性的个体 OWL 类模型，其中字符串内容部分依赖于其他个体/其他类
这是一个（粗略的）OWL 模型，它是关于我国各部委正...
打印您可以按照描述支付金额的方式数量
有多少种方式，你可以用 1 美元、2 美元和 5 美元的...