查询词典 decidability
- 与 decidability 相关的网络解释 [注:此内容来源于网络,仅供参考]
-
decidability:可判定性
OWL-Full是OWL的三种子语言中表达能力最强的一个,适合在那些需要非常强的表达能力,而不用太关心可判定性(decidability)或是计算完全性的场合下使用. 不过也正是由于表达能力太强这个原因,用OWL-Full表示的本体是不能进行自动推理的.
-
decidability:可决定性
因此,不可决定性,是可决定性(decidability)的"必要条件"(前引书);然而,当我们在着黑装还是穿佩斯利涡纹旋花呢(paisley)二者之间进行选择时,这并不是真正的难题.
-
decidability:可决定性/可判定性
decible /分贝/ | decidability /可决定性/可判定性/ | decidable /可决定的/
-
decidability:可判定性,可决定性
decibelmeter | 分贝计 | decidability | 可判定性,可决定性 | decidable proposition | 可决策命题
-
planar graph:可平面图
可判定性|decidability | 可平面图|planar graph | 可求长的|rectifiable
-
decidable proposition:可决策命题
decidability | 可判定性,可决定性 | decidable proposition | 可决策命题 | decile | 十分位数
- 推荐网络解释
-
antixerophthalmic factor:抗干眼因子
抗维生素 antivitamin | 抗干眼因子 antixerophthalmic factor | 抗干眼维生素 antixerophthalmic vitamin
-
January January:是一月, 一月January有新年
January, January是一月, 一月January有新年; | February, February是二月, 二月February有春节; | March , March是三月, 三月March 妇女节;
-
Trento:赵宇霆、陈博兴、慧小霞、张宏纲
Bologna:许纹毓、关晶 | Trento:赵宇霆、陈博兴、慧小霞、张宏纲 | Como:赵志强、马生爱、谢骥宁、唐志强