Protege: В чем разница между индивидуальным типом и индивидуальным утверждением свойства?
На Protege 5 мы можем сделать утверждение о человеке двумя различными способами.
individual1 type property1 value individual2
individual1 property1 individual2
Я не знаю, в чем их разница.
Плюс, есть ли способ наложить некоторые ограничения на людей с точки зрения количества элементов? Исходя из предположения об открытом мире, было бы истолковано, что индивидуум1 может иметь другие отношения. Я хочу, чтобы индивидуал1 имел только один вид собственности, т.е. property1.