owl - 从命令行进行 OWL 推理，依赖最小

Question

我有一个 rdf/xml 语法的 OWL 文件，其中包含一个断言的本体。我想应用 OWL DL 推理器来推导额外的公理。我知道我可以在 protegé 中打开文件并在那里应用推理器。但是，我寻找命令行解决方案，因为我想在脚本中自动化该过程。

我知道owlready2附带了推理器 Pellet 和 Hermite，它们作为二进制文件 ( .jar) 包含在内，但它们似乎已经过时了（参见例如这个 repo），因为 Pellet 3.0 已经成为封闭源代码。

我尝试安装https://github.com/Galigator/openllet但未能在我的机器上构建它。

是否有任何可用的（首选 FLOSS 许可的）OWL DL 推理器，可以通过命令行轻松安装和应用？

score 1 · Accepted Answer

您可以在管道中使用在生物本体社区中广泛使用的ROBOT 。要使用 ELK 进行推理，您可以使用以下命令：

robot reason --reasoner ELK \
  --input ribosome.owl \
  --output results/reasoned.owl

有关更多详细信息，请参阅ROBOT 文档推理。

score 0 · Accepted Answer

由于问题评论中的鼓励，我设法建立了openllet。在这里，我记录了这些步骤：

安装最新的 java（参见例如这里https://techviewleo.com/how-to-install-temurin-openjdk-on-debian/）
安装最新的 maven（请参阅https://maven.apache.org/guides/getting-started/maven-in-five-minutes.html）
克隆https://github.com/Galigator/openllet/
mvn package在项目根目录中运行
- 注意：目前一些测试用例可能会失败
前往openllet/tools-cli/target/openlletcli/bin/并运行./openllet classify your-ontology.rdf.xml
- 注意：openllet是一个 shell 脚本，它设置一些路径，然后执行相应的 java 类。

2 回答 2