如何使用java检查本体一致性

我正在使用Ontology来识别用户活动….我有一个本体(OWL),包括我将使用的各种类以及对象属性…..

我是本体论的新手,即使在阅读了很多关于它的内容之后我也很困惑….
我所理解的是,一个类被定义为使用各种类型的另一个类…所以无论如何我可以检查一个特定类的对象是否与另一个类无关.我想问的是我该怎么做检查ABox是否与本体的术语部分一致(我理解的TBox)…..

我已经使用protege来制作我的本体,并尝试使用jena和pellet推理器以及它的GUI版本SWOOP来检查一致性…..

我完全糊涂了,不知道该用什么……

解决方法:

我之前使用过Jena API来处理Protege创建的Ontology.诚然,耶拿令人困惑.但是,这些是我用来帮助解决的资源：

> Tutorial
> Documentation

为了弄清楚它是如何工作的,我们做了一些尖峰,我们创建了一个非常简单的OWL文件,并使用Jena编写了一些Java,看看我们如何能够得到我们需要的东西.代码是丢失的,但它允许我们在理想化的上下文中学习一些关于OWL文件和Jena API的知识.

标签：java,jena,ontology,class,protege
来源： https://codeday.me/bug/20190704/1378969.html