Где находится документация по оператору OWL DL «o»?

Я читал ответ на этот вопрос: How to infer isBrotherOf property between two individuals Где находится документация по оператору OWL DL «o»?

В скриншотах есть класс выражения, которые используют оператор «о». Я просмотрел документацию OWL 2 и не нашел этого в любом месте. Поиск в Google «o» ничего не дает, так как это, вероятно, стоп-слово.

Где находится «справочная страница» для этого «о»?

источник

2016-11-19 Alex R

Оператор o больше Описание Стиль логического синтаксиса и означает конкатенацию выражений свойств объекта, то есть свойства объекта или его обратное. В OWL 2 это покрыто так называемой property chains

Кроме того, оператор используется в Manchester OWL syntax, который является синтаксисом по умолчанию в Protege (скриншот вы ссылаетесь показывает редактор Protege онтология)

источник

2016-11-20 07:31:23 AKSW

Я до сих пор не возьми. Является ли 'o' короткой рукой для объекта ObjectPropertyChain? –

Да, это, с одной стороны, обозначение из другого синтаксиса, называемого Описание Логика, но также используемое в синтаксисе Манчестера OWL (https://www.w3.org/TR/owl2-manchester-syntax/), который является синтаксисом по умолчанию в Протеге. – AKSW

Где находится документация по оператору OWL DL «o»?

ответ

Смежные вопросы