在耶拿中对本体进行推理

Question

我是耶拿本体和推理领域的新手，我迫切需要帮助来了解如何执行以下操作的逻辑。我正在使用以下类构建和猫头鹰本体：

-一个人有兴趣爱好 - 一个人有消息消息 - 消息具有类别类别（或消息的子类） - 邮件可以是垃圾邮件或非正常邮件（邮件的子类）

我想说如果消息的类别与人的兴趣相同，那么消息是火腿

Q1：我想构建本体，让推理器能够推断出这一点，所以我想将 ham 定义为类类别和兴趣的交集，并且垃圾邮件是对这个交集类的补充。这适用于使用推理器还是我需要 SPARQL 查询

Q2：如何创建个体并进行如下推理：

• hana是一个人
• message1 是一条消息
• 体育是一个类别
• 电影是一种兴趣

如何推断由于运动不等于电影，那么 message1 是垃圾邮件。

我迫切需要指导如何实现这一点，以及在我的硕士论文中具体参考什么

Answer 1

这样做的最简单方法（我是新手，但我刚刚成功地在本体 x_x 中进行了推理），是通过 Protégé 创建您的本体并考虑您想要链接的概念...... 与消息和人员相比，您的类别和兴趣非常抽象。您必须考虑如何链接它们，以及它们属于哪些类。 具体与抽象……物体与生命……动物与植物…… 这是一个例子。

当你对这些没问题时，你可以用 Protégé 来实现它们（因为它是一个图形工具，一开始更容易）：检查“实体”选项卡和“类”子选项卡。 然后，放置规则和属性。 （最难的部分） 通常，具体的东西不是抽象的......所以你必须在它们的属性中将两者分开。 如果您希望某些关系构成“真实”本体，则必须定义自己的属性（例如，一个人可以“拥有”对象......但一个对象不“拥有”一个人）。

当您构建了基本本体时。您必须检查是否可以进行某些推理（在 protégé 中搜索“推理器”菜单，并激活其中一个，并定期同步）。

最后，您可以在其中添加个人，并填写他们的属性（搜索名为“个人”的子选项卡）。