领域建模使用本体，特殊情况

Question

使用描述逻辑（以及相应的OWL-DL）考虑，我们班Meeting这可以由类Professor出席，使：

couldBeAttendedBy domain Meeting 
couldBeAttendedBy range Professor 

，并认为这是一个Professor可能是另一个Professor的Assistant：

assistantOf domain Professor 
assistantOf range Professor 

问：我怎样才能 - 使用Terminolog ical Box公理（TBox） - 表示如果一个MeetingcouldBeAttendedBy一个Professor，那么它couldBeAttendedBy他的任何人Assistants。

FRO例如，请考虑：

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

我想得出这样的结论

m couldBeAttendedBy as 

Answer 1

你需要做一个产业链，给人couldBeAttendedBy的定义，以适应您的规则。

例如，如果使用的是被保护人需要定义为couldBeAttendedBy以下：

couldBeAttendedBy o inverse (assistantOf)

在超性质（链式），其将显示为

couldBeAttendedBy o inverse (assistantOf) SubPropertyOf couldBeAttendedBy

这种情况很容易，而且是属性链制成的。但是，如果链条变得更加复杂，它们可能会变得不可判定。例如，在S1ºS2ºS3 ... Sn Sn⊑R中，R只能位于表达式左侧的第一个或最后一个位置。否则它不会是可确定的。这是普通RBoxes的限制之一。而财产链或更正式的“一般职能包容”只有适用于普通RBox才可以确定。