如何在命令行中使用hermit推理器进行推理或推理
如何在命令行中使用hermit推理器进行推理或推理
提问于 2015-06-18 20:28:39
我对语义网和推理机的概念完全陌生，很抱歉我太天真了。
我从http://www.hermit-reasoner.com下载了HermiT.zip包
然后，我将一个Demo.Java文件添加到项目中，并使用同一网站上给出的命令在命令提示符下运行此文件。
我使用推理机的本体是我从http://www.dcs.bbk.ac.uk/~michael/sw/slides/pizza.owl网站上获得的pizza.owl
它显示的唯一结果是"TRUE“，但我想在本体论中推理事物。例如：
rdfs:subClassOf和rdfs:subPropertyOf的传递性。
(rdfs:subClassOf Dog Mammal)
(rdfs:哺乳动物亚类)
暗示事实
(rdfs:subClassOf Dog Animal)
如何进行这些查询？我需要写一些java代码来做到这一点吗？
回答 2
Stack Overflow用户
回答已采纳
发布于 2015-06-19 21:24:46
我不认为HermiT提供了命令行界面，但是您可以在Owl api中尝试这个示例，它允许在命令行上进行简单的查询
https://github.com/owlcs/owlapi/wiki/DL-Queries-with-a-real-reasoner
Stack Overflow用户
发布于 2018-03-17 01:55:35
java -jar HermiT.jar -c -ooutput.owl pizza.owloutput.owl文件将包含结果。有关HermiT命令行界面的更多详细信息，请访问http://www.hermit-reasoner.com/command.html。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/30915372
复制相关文章
相似问题