При каких условиях можно отвечать на запросы в OWL EL в PTIME?
Конъюнктивный ответ на запрос в OWL EL может быть выполнен в EXPTIME и является PTIME-полным, если иерархия свойств может быть переведена в недетерминированный конечный автомат полиномиального размера (https://www.w3.org/TR/owl2-profiles/#Computational_Properties). Итак, при каких условиях свойство может переводить иерархию в недетерминированный конечный автомат полиномиального размера?