Запрос на пересечение диспозиций; Протеже

Question

Я хочу определить, когда объект содержит пересечение двух свойств, в отличие от любого свойства.

Пример:

object: 
    A (has_disposition some disposition_A; has_disposition some disposition_B)
    B (has_disposition some disposition_B; disjoint with A)

disposition:
    disposition_A
    disposition_B
    disposition_AB (EquivalentTo: disposition and ((disposition_A) and (disposition_B))

Свойство объекта has_disposition принимает object как его область и disposition как его ассортимент.

Следующий DL-запрос в Protege с использованием HermiT ничего не дает:

has_disposition some disposition_AB

Следующие запросы дают правильный ответ:

has_disposition some disposition_A (gives A)
has_disposition some disposition_B (gives A, B)

Следующие действия не помогли:

• Изменение скобок в EquivalentTo выражение.
• Объявить ничего не дизъюнктивно.
• Объявление каждой части EquivalentTo Выражение отдельно.

Я не смог найти примеров того, как диспозицию определяют как пересечение других диспозиций в OGMS, онтологии инфекционных заболеваний или онтологии сердечно-сосудистых заболеваний.

Answer 1

Нет результатов для disposition_AB означает, что эквивалентная аксиома не может быть сопоставлена ​​с людьми, которые у вас есть.

Я не знаю, где disposition Тип пришел бы из-за A и B - я подозреваю, что это не выводится, как вы ожидаете. Можете ли вы поделиться реальной онтологией?