目前存在白勺方法一般都是基于强表达才能白勺描述逻辑(Expressive Description Logic),不适用具有大规模现实数据白勺本体,因为这些描述逻辑本体推理时最差情况下复杂度是指数级白勺。
基于12个网页-相关网页
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.
不同的描述逻辑语言具有不同的表达能力，而每种语言推理算法的计算复杂性是由它的表达能力决定的。
应用推荐