Универсальная количественная оценка совы работает вместе с ограничениями мощности

Question

Я новичок в сое. Я прочитал пример Universal Quantification на этой странице http://dior.ics.muni.cz/~makub/owl/.

Если я заменил «Person SubClassOf hasParent max 2 thing» на «Person SubClassOf hasParent max 2 Person» и запустил аргумент, я думаю, что индивидуальный Иван попал бы в класс чешский тоже. Но на самом деле это не так. Я тестирую его в Protege 4.3 и запускаю встроенный аргумент FaCT ++.

Какие подробности я пропустил?

Answer 1

Проблема здесь в том, что ваше новое ограничение является слишком разрешительным. Ваша новая аксиома на самом деле говорит, что у человека может быть не более 2 (родители, которые являются Лицом). Это не мешает Лицу иметь других родителей, которые не являются людьми.

пример будет работать снова, если вы обеспечить выполнение всех родителей быть из класса Человек, например, путем установления диапазона hasParent к человеку, или добавить аксиому Person SubClassOf hasParent only Person