如何在命令行中使用 hermit reasoner 进行推理或推理
How to reason or make inferences using hermit reasoner in command line
我对语义网和 Reasoner 的概念完全陌生，很抱歉我太天真了。
我从 http://www.hermit-reasoner.com
下载了 HermiT.zip 包
然后我在项目中添加了一个 Demo.Java 文件，并使用同一网站上给出的命令在命令提示符中添加了 运行 这个文件。
我使用推理器的 ontology 是 pizza.owl 我从这个网站得到的 - http://www.dcs.bbk.ac.uk/~michael/sw/slides/pizza.owl
它显示的唯一结果是 "TRUE"，但我想在 ontology 中进行推理。
例如：
T运行rdfs:subClassOf 和 rdfs:subPropertyOf 的灵敏度。
(rdfs:subClassOf狗哺乳动物)
(rdfs:subClassOf 哺乳动物)
暗示事实
(rdfs:subClassOf狗动物)
我如何进行这些查询？我是否需要编写一些 java 代码才能这样做？
我认为 HermiT 不提供命令行界面，但您可以尝试 Owl api 中的这个示例，它允许在命令行上进行简单查询
https://github.com/owlcs/owlapi/wiki/DL-Queries-with-a-real-reasoner
java -jar HermiT.jar -c -ooutput.owl pizza.owl
output.owl 文件将包含结果。有关 HermiT 命令行界面的更多详细信息，请访问 http://www.hermit-reasoner.com/command.html.
我对语义网和 Reasoner 的概念完全陌生，很抱歉我太天真了。
我从 http://www.hermit-reasoner.com
下载了 HermiT.zip 包然后我在项目中添加了一个 Demo.Java 文件，并使用同一网站上给出的命令在命令提示符中添加了 运行 这个文件。
我使用推理器的 ontology 是 pizza.owl 我从这个网站得到的 - http://www.dcs.bbk.ac.uk/~michael/sw/slides/pizza.owl
它显示的唯一结果是 "TRUE"，但我想在 ontology 中进行推理。 例如：
T运行rdfs:subClassOf 和 rdfs:subPropertyOf 的灵敏度。
(rdfs:subClassOf狗哺乳动物)
(rdfs:subClassOf 哺乳动物)
暗示事实
(rdfs:subClassOf狗动物)
我如何进行这些查询？我是否需要编写一些 java 代码才能这样做？
我认为 HermiT 不提供命令行界面，但您可以尝试 Owl api 中的这个示例，它允许在命令行上进行简单查询
https://github.com/owlcs/owlapi/wiki/DL-Queries-with-a-real-reasoner
java -jar HermiT.jar -c -ooutput.owl pizza.owl
output.owl 文件将包含结果。有关 HermiT 命令行界面的更多详细信息，请访问 http://www.hermit-reasoner.com/command.html.