замкнутый мир мыслитель протеже - PullRequest
Новая
       24

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

0 голосов
/ 30 апреля 2018

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

1 Ответ

0 голосов
/ 30 апреля 2018

Да, это не будет работать. Скажем, у вас есть 

Class: Person
    SubClassOf: name exactly 1 xsd:string

Individual: aPerson
Types: Person

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

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

, для которого мыслитель даст несоответствие. См. Также этот похожий квест SO .

...