Моделирование предметной области с использованием онтологии, особый случай

Question

Использование логики описания (и соответствующей OWL-DL). Рассмотрим класс Meeting на котором мог присутствовать класс Professor, чтобы:

couldBeAttendedBy domain Meeting
couldBeAttendedBy range Professor

и считают, что Professor может быть Assistant другого Professor:

assistantOf domain Professor
assistantOf range Professor

Вопрос: Как я могу использовать аксиомы терминологического бокса (TBox)- заявить, что если MeetingcouldBeAttendedBy Professor , Затем это couldBeAttendedBy кто-нибудь из его Assistants ,

Для примера рассмотрим, что:

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

Я хочу заключить, что

m couldBeAttendedBy as

Answer 1

Вам необходимо составить цепочку собственности, дающую определение couldBeAttendedBy чтобы приспособить ваше правило.

Например, если вы используете Protégé, вам нужно определить для couldBeAttendedBy следующие:

couldBeAttendedBy o inverse (assistantOf)

в SuperProperty Of (Chain), который будет выглядеть как

couldBeAttendedBy o inverse (assistantOf) SubPropertyOf couldBeAttendedBy

Случай прост и именно для чего созданы цепочки собственности. Но если цепочки станут более изощренными, они могут стать неразрешимыми. Например, в S1 º S2 º S3 º ... º Sn ⊑ R, R может находиться только на первом или последнем месте левой части выражения. Иначе это не будет решаемо. Это одно из ограничений для обычного RBox. И цепочки собственности, или, более формально, "Общее включение ролей" могут быть разрешены только в том случае, если они применяются к обычным RBox.