对耶拿本体论的推理

时间:2017-04-09 18:06:16

标签: jena owl ontology inference

我是耶拿的本体论和推理领域的新手,我迫切需要帮助来获得如何做到以下的逻辑。我正在使用以下课程构建和猫头鹰本体:

- 一个人有利益   - 一个人有消息   - 消息hasCategory类别(或消息的子类)   - 消息可以是垃圾邮件或火腿(消息的子类)

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

第一季度:我想构建本体论,以便推理者推断出这一点,所以我想把火腿定义为类别和兴趣的交集,垃圾邮件是这个交集类的补充。这是适用于推理者还是我需要SPARQL查询

Q2:如何创建个人并进行以下推断:

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

如何推断,由于这项运动不等于电影,因此message1是垃圾邮件。

我迫切需要指导如何实现这一点以及我的硕士论文究竟要提到的内容

1 个答案:

答案 0 :(得分:0)

最简单的方法(我是新手,但我只是成功地在本体x_x中进行推理),就是通过创建Protégé的本体并思考你想要链接的概念...... 与消息和人物相比,您的类别和兴趣非常抽象。您必须考虑如何链接它们以及它们属于哪些类。 具体与抽象......对象与生活在一起......动物与植物...... 这是一个例子。

如果您对这些内容感到满意,可以使用Protégé实现它们(因为它是一个图形工具,一开始就更容易):检查“实体”选项卡和“类”子选项卡。 然后,您放置规则和属性。 (最难的部分) 通常,具体的不是抽象的...所以你必须在它们的属性中将两者分开。 如果你期望某些关系能够成为一个“真正的”本体,你必须定义自己的属性(一个人可以“拥有”对象,例如......但是一个对象不“拥有”一个人)。

当您建立基本本体时。您必须检查是否可以进行一些推断(在protégé中搜索“推理器”菜单,然后激活其中一个,并定期同步)。

最后,您可以在里面添加个人,并填写他们的属性(搜索名为“个人”的子选项卡)。