ADJ able to be decided 可以决定的
You can validate absolutely any string that conforms to any decidable set of rules.
您可以彻底检查任何字符串是否符合任何可确定的规则集。
Reasoners for OWL DL, while dealing with a decidable sublanguage, will be subject to higher worst-case complexity.
而OWL DL的推理机处理的尽管是一个可判定的子语言，会有更高的最坏情况复杂度。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
应用推荐