问如何在命令行中使用hermit推理器进行推理或推理
EN

Stack Overflow用户

提问于 2015-06-18 20:28:39

回答 2查看 870关注 0票数 1

我对语义网和推理机的概念完全陌生，很抱歉我太天真了。

然后，我将一个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代码来做到这一点吗？

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/30915372

复制

相似问题

问如何在命令行中使用hermit推理器进行推理或推理EN