Как я могу выразить "Каждый" в синтаксисе совы Манчестера?

Question

Как я могу выразить "Каждый" в синтаксисе совы Манчестера?

Если A isRelatedTo B и B имеет свойство dataproperty: creation = {true, false}

как я могу выразить в синтаксисе совы Манчестера (для протеже) подмножество где: это тип A и каждый isRelatedTo из A имеет значение "true"

2

logic owl protege manchester-syntax

Источник

user3087190 10 дек '13 в 14:19

1 ответ

Другие вопросы по тегам logic owl protege manchester-syntax

user1281433 11 дек '13 в 00:03 2013-12-11 00:03 · Answer 1 · 2013-12-11 00:03

Я думаю, что вы спрашиваете, как написать выражение класса для класса, члены которого имеют тип A и все чьи значения для isRelatedTo свойство true^^xsd:boolean, Это достаточно просто:

A и (isRelatedTo only {true})

В Protégé это выглядит так:

'A and isRelatedTo only {true}' в редакторе выражений класса Protégé

2

Источник

user1281433 11 дек '13 в 00:03