Не могу найти четкого утверждения, выводят ли мне SubObjectPropertyOf и ObjectPropertyChain из OWL DL или нет?
В этом посте Пост 1 упоминается: "В OWL 2 (но,к сожалению, не OWL 2 DL, как указал Антуан Циммерманн в комментариях), вы можете утверждать, что данное свойство является суперсвойством цепочки свойств ... "
И в этом Пост 2 не упоминается, было ли решение этой проблемы выведено из DL.
Спасибо за ответ.