如何为Konclude推理并行化OWLlink服务器？
在某些文章中，我读到他们已经将Konclude和Elk配置为...
我必须使用哪个推理机来验证给定的示例？
我已经用耶拿（Jena Lib）创建了一个模型，我想针对...
适用于 NodeJS 的 OWL-Reasoner
我正在为 nodejs 寻找 owl-reasoner。有没有合适的包...
如何解释 protege 中组织结构图中的非正式关系？
简（老板）对乔和彼得（下属）拥有正式权力。 乔对简...
什么在 Protege 5 中最能减慢推理者的速度？
我的本​​体现在有 3000 个公理，但我有很多未来必...
在 RDFLIB 上使用 OWL-RL 进行传递推理
我正在尝试在我使用 <code>rdflib</code&g...
推理一个相当大的本体
我有一个相当大的本体（大约 80 GB）。我认为推理器...
owlready2 推理器不生成具有 SWRL 规则的推断对象属性断言
假设一个 OWL 本体包含以下 SWRL 规则： <pre>...
使用 owlapi 推断平等语义 (OWL 2 RL)
我正在尝试使用 owl-api 为 OWL 2 RL“平等语义”中...