OWL - Как указать, что объект не связан дважды с другим объектом через один и тот же объектProperty

Question

У меня есть объект Student, который зарегистрирован (propertyObject) на курс.Я должен ограничить то, что один и тот же студент не может быть зачислен на один и тот же курс более 1 раза.Как написать это в OWL / Protégé?Пожалуйста!

Answer 1

Вам не нужно ограничение, оно подразумевается в языке.

У вас есть индивидуальный A, студент и индивидуальный B, курс.

Если вы попытаетесь указать, что A зачислен в B дважды, у вас есть две аксиомы:

A isEnrolledIn B
A isEnrolledIn B

Онтологии OWL представляют собой / наборы / аксиом, поэтому две аксиомы исчезают и остается только одна.