常见例句双语例句By adding the epistemic operator "K" to the description logic, the epistemic description logic can be obtained.在描述逻辑中加入认知运算符K可以得到认知描述逻辑。 返回 epistemic description logic