It is unlikely that any reasoning software can support every feature of OWL Full, as it offers maximum expressiveness and the syntactic freedom of RDF with no computational guarantees.
要让推理软件支持OWL Full的每个特性是不太可能的,因为它提供了最大的表现力和RDF的句法自由,但是在计算上没有保证。
Therefore, there is no algorithm with polynomial computational complexity that guarantees optimal motion vectors.
因此,没有一个多项式(计算的复杂性)算法可以保证最优运动向量。
应用推荐