HOL is more expressive than first-order logic and enables a concise description of complex properties.
HOL比一阶逻辑更有表现力，能给复杂逻辑更加简洁的描述。
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.
不同的描述逻辑语言具有不同的表达能力，而每种语言推理算法的计算复杂性是由它的表达能力决定的。
应用推荐