Замкнутый мир мыслитель протеже

Заставить человека стать "экземпляром" класса с помощью "ровно одного ограничения", похоже, не работает с аргументами по умолчанию в протеже. Есть ли другой способ, кроме аксиомы замыкания или рассуждения о замкнутом мире?

Источник

1 ответ

Да, это не сработает. Скажи у тебя

Class: Person
    SubClassOf: name exactly 1 xsd:string

Individual: aPerson
Types: Person

рассудок не даст несоответствия из-за предположения об открытом мире. Чтобы "закрыть мир" для aPerson Вы должны сказать разумному, что aPerson не имеет имени, которое вы можете указать следующим образом:

 Individual: aPerson
 Types: Person, name max 0 xsd:string

за что мыслитель даст несоответствие. Смотрите также этот похожий квестон.

Источник
Другие вопросы по тегам