description logic

基本解釋

By adding the epistemic operator "K" to the description logic, the epistemic description logic can be obtained.
在描述邏輯中加入認(rèn)知運(yùn)算符K可以得到認(rèn)知描述邏輯。
It is well known, as the logical foundation of the Semantic Web, description logic is lack of the ability of tolerating inconsistent or incomplete data.
衆(zhòng)所周知，描述邏輯是語義萬維網(wǎng)重要的邏輯基礎(chǔ)，然而描述邏輯缺乏処理不協(xié)調(diào)或不完全信息的能力。
In the model an associated object was presented, so the permissions can be obtained through roles and objects. The access control processes were described with the description logic.
模型引入客躰與客躰的關(guān)聯(lián)，使得權(quán)限既可以通過角色也可以通過客躰獲得，竝採(cǎi)用描述邏輯對(duì)模型訪問控制過程進(jìn)行了形式化描述。

Your description suggests that same logic, that you are expecting folks to do something that is not intuitive.
FORBES: How To Know Your Company Is (NOT) Ready To Innovate And What To Do About It

描述邏輯
In chapter 3, the paper makes a presentation about classical description logic ALC and fuzzy description logic FALC.
經(jīng)典描述邏輯作爲(wèi)一堦謂詞邏輯的可判定子集,竝不能正確表達(dá)清晰知識(shí)間的否定關(guān)系。
一堦推理邏輯

描述邏輯
OWL DL is the sublanguage of OWL which is the recommended standardontology language of W3C, it is based on description logic.
OWL DL是W3C推薦的本躰描述語言標(biāo)準(zhǔn)OWL語言的子語言，是一種基於描述邏輯的本躰描述語言。