使用OWL推理器推断OWL类表达式对应的个体

我需要借助OWL推理器（比如Hermit），获取某个指定OWL类表达式对应的所有OWL个体。优先找能通过命令行调用的工具。

我已经完成了这些前期调研：

• 查阅过Apache Jena的推理支持相关文档
• 在Apache Jena的GitHub仓库提交过相关问题
• 查阅过Hermit推理器的官方文档

内容的提问来源于stack exchange，提问作者Caglar Demir