description logic

基本解釋

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

英漢例句

雙語例句

• By adding the epistemic operator "K" to the description logic, the epistemic description logic can be obtained.
  在描述邏輯中加入認(rè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.
  眾所周知，描述邏輯是語義萬維網(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)限既可以通過角色也可以通過客體獲得，并采用描述邏輯對模型訪問控制過程進行了形式化描述。

權(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更多例句

詞組短語

短語

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

• description logic更多詞組

專業(yè)釋義

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

• 描述邏輯

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

• 一階推理邏輯

測繪科學(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推薦的本體描述語言標(biāo)準(zhǔn)OWL語言的子語言，是一種基于描述邏輯的本體描述語言。