标签： time-complexity owl ontology finite-automata description-logic
在什么条件下可以在PTIME中完成OWL EL中的查询应答？
OWL EL中的联合查询应答可以在EXPTIME中完成，并且如果可以将属性层次结构转换为多项式大小的不确定自动机（https://www.w3.org/TR/owl2-profiles/#Computational_Properties），则可以完成PTIME。因此，在什么条件下可以将属性层次结构转换为多项式大小的不确定自动机？