Patelet transitive protege 5 классификаторы

Я использую Protege beta 5, и я пытаюсь использовать аргументатор. Поскольку таблетка не поддерживает транзитивность между индивидуумами Какое решение для этой проблемы существует, если оно есть? Если нет Есть ли какие-либо рассуждения, которые поддерживают (Эквивалентность, transitivty, рефлексивность ...) получают противоречивую онтологию и то будет это объяснения:Patelet transitive protege 5 классификаторы

A(b) -> ((isComposedOf min 2 ({C})) and (isComposed max 15 ({C})))(b) 
    b Type A 
    ((isComposed exactly 4 AA) or (isComposed exactly 5 AA)) (?x),L(?x),((hasLength exactly 4 xsd:integer) or (hasLength exactly 5 xsd:integer))(?x)-?SameAs(?x,R)

источник

2016-08-02 Muna ar

В каком виде это не поддерживается? Какая DL-экспрессия включает эти конструкции для индивидуумов? – Ignazio

Использование OWL для большей семантики Я пытаюсь использовать аргумент для согласованности. Хотя с гранулой я получаю сообщение об ошибке транзитивной собственности Ключевые слова TYPE ans SAME AS Это проблема, ANd кажется, что pellet не поддерживает эти свойства @ Ignazio –

Pellet поддерживает полный OWL 2 DL! Пожалуйста, опубликуйте ошибку, то есть полную стек. Единственным исключением из транзитивных свойств является предупреждение о том, что транзитивность свойства будет игнорироваться, чтобы избежать нарушения ограничений OWL 2 DL. – AKSW

Pellet поддерживают свойства переходных. Я считаю, что вы наткнулись на простые свойства, используемые в простых позициях свойств. Это не ограничение Пелле, это ограничение DL - некоторые комбинации характеристик не поддерживаются, потому что они приводят к неразрешимости. См. this question для соответствующей информации

источник

2016-08-02 20:43:43 Ignazio

Спасибо, что посмотрим, –

Поддерживает ли он ключевые слова Type и SameAs? –

Да, это так - они поддерживаются любым аргументом OWL 2. – Ignazio

Patelet transitive protege 5 классификаторы

ответ

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