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.
不同的描述逻辑语言具有不同的表达能力，而每种语言推理算法的计算复杂性是由它的表达能力决定的。
应用推荐