Я пытаюсь построить онтологию, используя OWL.У меня есть два класса: Test и Question.У меня есть свойство объекта hasQuestion с доменом (Test) и диапазоном (Question).
Если бы я создал индивидуума Exam1 для класса Test и не связал его с Question индивидуумом, я бы хотел, чтобы мыслитель поднял несоответствие.Как я могу сделать это в Protege?
Например:
Exam1 (Test)
Exam2 (Test) hasQuestion Quest1 (Question)
Когда я запускаю рассуждение на Exam1, я должен получить несоответствие, так как нет вопросов, связанных с ним.Однако Exam2 не должно приводить к несоответствию, поскольку к нему относится Quest1.