如何在 Protege 中创建获取自动对象属性关系的条件? [英] How to create a condition to obtain an automatic object property relation in Protege?

问题描述

我正在 Protege 中做一个与大学问题相关的本体项目.我在它们之间有一些类和对象属性关系:

如图所示，有几个类和关系.我的问题是，如何(以及在​​何处)编写条件以获得自动推理，即如果个人满足所有蓝箭头关系，则必须也满足红箭头关系(因此它由推理者推断))?

我将不胜感激！谢谢.休伯特

解决方案

选项 1

使用 SWRL.在 SWRL 选项卡上，键入以下内容:

<前>isTakingCourse(?s, ?c) ^ hasModule(?c, ?m) ^ isExamOn(?e, ?m) ->takesExam(?s,?e)

选项 2

使用属性链和逆属性.在描述视图中，将 takesExam 声明为以下内容的super属性:

<前>isTakingCourse o hasModule o inverse isExamOn

I'm doing a project in Protege on the ontology related to the university problem. I have some classes and object properties relations between them:

As depicted, there are several classes and relations. My issue is, how (and where) to write the condition to obtain the automatic inference that, if all blue-arrow relations are satisfied by the individual, the red-arrow relation must be also satisfied (thus it is inferred then by the reasoner)?

I will appreciate any help! Thanks. Hubert

解决方案

Option 1

Use SWRL. On the SWRL tab, type the following:

isTakingCourse(?s, ?c) ^ hasModule(?c, ?m) ^ isExamOn(?e, ?m) -> takesExam(?s, ?e)

Option 2

Use property chains and inverse properties. In the Description view, declare takesExam to be a superproperty of:

isTakingCourse o hasModule o inverse isExamOn

这篇关于如何在 Protege 中创建获取自动对象属性关系的条件?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！