領域建模使用本體，特殊情況

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纔可以確定。