Protege中如何创建条件获取自动对象属性关系？
How to create a condition to obtain an automatic object property relation in Protege?
我正在 Protege 中做一个与大学问题相关的 ontology 项目。
我有一些 类 和它们之间的对象属性关系：
如图所示，有几个类和关系。我的问题是，如何（以及在何处）编写条件以获得自动推断，即如果个人满足所有蓝色箭头关系，则红色箭头关系也必须满足（因此推理者随后推断)?
我将不胜感激任何帮助！
谢谢。
休伯特
选项 1
使用SWRL。在 SWRL 选项卡上，键入以下内容：
isTakingCourse(?s, ?c) ^ hasModule(?c, ?m) ^ isExamOn(?e, ?m) -> takesExam(?s, ?e)
选项 2
使用属性 链和逆属性。在描述视图中，将 takesExam 声明为 super属性 of:
isTakingCourse o hasModule o inverse isExamOn
我正在 Protege 中做一个与大学问题相关的 ontology 项目。 我有一些 类 和它们之间的对象属性关系：
如图所示，有几个类和关系。我的问题是，如何（以及在何处）编写条件以获得自动推断，即如果个人满足所有蓝色箭头关系，则红色箭头关系也必须满足（因此推理者随后推断)?
我将不胜感激任何帮助！ 谢谢。 休伯特
选项 1
使用SWRL。在 SWRL 选项卡上，键入以下内容：
isTakingCourse(?s, ?c) ^ hasModule(?c, ?m) ^ isExamOn(?e, ?m) -> takesExam(?s, ?e)
选项 2
使用属性 链和逆属性。在描述视图中，将 takesExam 声明为 super属性 of:
isTakingCourse o hasModule o inverse isExamOn