我对Semantic web和Reasoner的想法完全陌生，所以很抱歉天真。
我从http://www.hermit-reasoner.com
下载了HermiT.zip包然后我将Demo.Java文件添加到项目中，并使用同一网站上给出的命令在命令提示符中运行它。
我使用推理器的本体是我从本网站获得的pizza.owl - http://www.dcs.bbk.ac.uk/~michael/sw/slides/pizza.owl
它显示的唯一结果是“TRUE”，但我想在本体论中推理。 例如：
rdfs的传递性：subClassOf和rdfs：subPropertyOf。
（rdfs：subClassOf Dog Mammal）
（rdfs：subClassOf Mammal Animal）
暗示事实
（rdfs：subClassOf Dog Animal）
我如何进行这些查询？我需要编写一些java代码吗？
答案 0 :(得分：0)
我不认为HermiT提供了命令行界面，但您可以从Owl api尝试此示例，它允许在命令行上进行简单查询
https://github.com/owlcs/owlapi/wiki/DL-Queries-with-a-real-reasoner
答案 1 :(得分：0)
java -jar HermiT.jar -c -ooutput.owl pizza.owl
output.owl文件将包含结果。有关HermiT命令行界面的更多详细信息，请访问http://www.hermit-reasoner.com/command.html。