description logic

基本解釋

• [計(jì)算機(jī)科學(xué)技術(shù)]描述邏輯一階推理邏輯
• [測(cè)繪科學(xué)技術(shù)]描述邏輯

英漢例句

雙語(yǔ)例句

• 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.
  眾所周知，描述邏輯是語(yǔ)義萬(wàn)維網(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)限既可以通過(guò)角色也可以通過(guò)客體獲得，并采用描述邏輯對(duì)模型訪問(wèn)控制過(guò)程進(jìn)行了形式化描述。

權(quá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

• description logic更多例句

詞組短語(yǔ)

短語(yǔ)

• rough description logic 粗描述邏輯
• dynamic description logic 利用動(dòng)態(tài)描述邏輯
• Distributed Description Logic 分布式描述邏輯
• dialectic description logic 辯證描述邏輯
• description logic dl 描述邏輯

• description logic更多詞組

專(zhuān)業(yè)釋義

計(jì)算機(jī)科學(xué)技術(shù)

• 描述邏輯

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

• 一階推理邏輯

測(cè)繪科學(xué)技術(shù)

• 描述邏輯

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