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

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

couldBeAttendedBy domain Meeting
couldBeAttendedBy range Professor

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

assistantOf domain Professor
assistantOf range Professor

Вопрос: Как я могу, используя аксиомы терминологической коробки (TBox), заявить, что если Meeting couldBeAttendedBy a Professor, то это couldBeAttendedBy любой из его Assistants.

Например, учтите, что:

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

Я хочу сделать вывод, что

m couldBeAttendedBy as

modeling ontology owl description-logic domain-model
person Median Hilal    schedule 09.06.2016    source источник

Ответы (1)


arrow_upward
3
arrow_downward

Вам нужно создать цепочку свойств, дав определение 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.

person Ivo Velitchkov    schedule 09.06.2016