...WLDL是用于支持强表达能力的知识,而且需要保持这些知识的计算完全性(Computational Completeness)和可判定性(Decidability),即结论都必须要在有限的时间内计算出来;OWL Full支持增强的表达能力和完全自由的RDF语法用户。
基于216个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
那就是对不可判定性的一个消极的反应,当然,我们可以容纳这个观点。
That's the negative response to undecidability, and it's of course, a view that many of us may entertain.
本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。
This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method.
证明了该模型的可判定性,并给出了判定任意一个事件是否需要审计的算法。
The decidability of the model is proven and a decidability algorithm is presented.
应用推荐