[数]?可判定性

...WLDL是用于支持强表达能力的知识，而且需要保持这些知识的计算完全性（Computational Completeness）和可判定性（Decidability），即结论都必须要在有限的时间内计算出来；OWL Full支持增强的表达能力和完全自由的RDF语法用户。

[科技]?可决定性

... deciboyleunitofpressure分波义耳 decidability可决定性 可判定性 decidableproposition可决策命题 ...

?定性

可决 定性 （ Decidability ）： 决策者可以决定对每一方案其属性的喜好 ， 而不是不确定或无 法比较 。

?可判性

...（s，“）∈K，则有（t，U）∈Ki 1表示连续 性扫enoU，即对于任意s∈S，则存在t，使得（s，t）∈K．J 关于可判性（Decidability）有： 定理1．5．M。