使用本体进行域建模，这是一种特殊情况

Question

使用描述逻辑（以及相应的OWL-DL）考虑我们有类Meeting可以由类Professor参加，以便：

couldBeAttendedBy domain Meeting
couldBeAttendedBy range Professor

并认为Professor可能是另一个Assistant的{​​{1}}：

Professor

问题： 如何使用术语框公理（TBox） - 声明，如果assistantOf domain Professor assistantOf range Professor Meeting一个couldBeAttendedBy，那么它是Professor。

中的任何人couldBeAttendedBy

例如，考虑一下：

Assistants

我想结束那个

Meeting(m)
Professor(f)
m couldBeAttendedBy f
as assistantOf f

Answer 1

您需要创建一个属性链，给出couldBeAttendedBy的定义以适应您的规则。

例如，如果您使用的是Protégé，则需要为couldBeAttendedBy定义以下内容：

couldBeAttendedBy o inverse (assistantOf)

在SuperProperty Of（Chain），将显示为

couldBeAttendedBy o inverse (assistantOf) SubPropertyOf couldBeAttendedBy

案件很简单，正是属性链的制作方式。但如果链条变得更加复杂，它们可能会变得不可判断。例如，在S1ºS2º3......ºSn⊑R中，R只能位于表达式左侧的第一个或最后一个位置。否则它将无法判定。这是常规RBoxes的限制之一。如果应用于常规RBox，属性链或更正式的“一般角色包含”只能是可判定的。