For formal method, its complexity makes it hard to popularize in practice and no standard makes a great lot of waste.
而形式化方法的复杂性使得在实践中难以得到推广，而且各种非形式化方法的非标准化又造成了浪费。
As the description logic in expressive power and computational complexity of the balance between the relationships, this is considered a knowledge-based application in a very attractive formal tool.
不同的描述逻辑语言具有不同的表达能力，而每种语言推理算法的计算复杂性是由它的表达能力决定的。
As the description logic in expressive power and computational complexity of the balance between the relationships, this is considered a knowledge-based application in a very attractive formal tool.
不同的描述逻辑语言具有不同的表达能力，而每种语言推理算法的计算复杂性是由它的表达能力决定的。
应用推荐