You can validate absolutely any string that conforms to any decidable set of rules.
您可以彻底检查任何字符串是否符合任何可确定的规则集。
The restricted set of terms, becomes decidable , and moreover can be implemented very efficiently.
受限制的条款规定，成为可判定，并而且能非常有效地实施。
Reasoners for OWL DL, while dealing with a decidable sublanguage, will be subject to higher worst-case complexity.
而OWLDL的推理机处理的尽管是一个可判定的子语言，会有更高的最坏情况复杂度。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
Their algorithm to find extensions is considered to be more efficient than the existing reconstruction procedure, and it is decidable .
我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的。
Description Logics (DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning.
描述逻辑是一阶谓词逻辑的可判定子集，具备强大的知识表示和推理功能。
It describes the system using the functional unification grammar and also discusses the matching algorithm, syntax analysis and decidable problem analysis.
使用了功能合一语法对描述系统，对系统中采用的匹配算法、语法分析及可判定性分析进行了讨论。
We proved that the new paraconsistent tableau algorithm is decidable and has the same reasoning ability with the classical Description Logic over consistent ontologies.
证明了该算法是可判定的，而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。
We proved that the new paraconsistent tableau algorithm is decidable and has the same reasoning ability with the classical Description Logic over consistent ontologies.
证明了该算法是可判定的，而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。
应用推荐