片语

dynamic description logic利用动态描述逻辑

dialectic description logic辩证描述逻辑

rough description logic粗描述逻辑

Distributed Description Logic分布式描述逻辑

Epistemic description logic认知描述逻辑

Description Logic Survey描述逻辑综述

description logic dl描述逻辑

英汉例句

• description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

  描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。

• this paper specifies precise natural language process based on fuzzy description logic as fuzzy pnl question-answering system.

  基于模糊描述逻辑，该文特化了pnl过程，提出了pnl式模糊网络问答系统。

• on this basis, the thesis put forward the symbolic expressing of the topological relationships which are in the concrete domain and use description logic to express the spatial relationships.

  在此基础上，对具体域中表达的空间拓扑关系进行符号化表示，用描述逻辑的形式表达空间关系。

• 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.

  众所周知，描述逻辑是语义万维网重要的逻辑基础，然而描述逻辑缺乏处理不协调或不完全信息的能力。

• this ontology description languages and description logic had combined together, which ensured the ontology reasoning rationality and validity.

  本体表示语言与描述逻辑相结合，为本体推理的合理性和有效性提供了保证。

• description logic system offer a set of typical inference services, such as the classification, satisfaction and realization of concept, knowledge consistency checking, etc.

  描述逻辑系统可以提供一些典型的推理服务，例如，概念分类、概念的可满足性、概念的实现和知识的一致性检测等。

• this thesis fully uses the expressing and reasoning ability of description logic and applies it in the spatial reasoning to increase the accuracy and decidability of the reasoning.

  本论文将描述逻辑应用到空间推理中，充分利用描述逻辑较强的表达和推理能力，提高空间推理的準确性和可判定性。

• 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.

  不同的描述逻辑语言具有不同的表达能力，而每种语言推理算法的计算复杂性是由它的表达能力决定的。

• a description logic theory support ontology based on fuzzy interval was proposed.

  结合本体理论，提出了基于模糊区间的本体描述逻辑理论。

• in this paper we will also study on finite base problem of rough description logic ralcq by using our improved attribute exploration algorithms.

  本文将研究属性探索算法在粗描述逻辑ralcq系统有穷基问题的应用。

• so we could make use of the above method to construct and complete description logic knowledge base.

  因此，我们可以利用上述方法构建和完善描述逻辑知识库。

• we proved that the new paraconsistent tableau algorithm is decidable and has the same reasoning ability with the classical description logic over consistent ontologies.

  证明了该算法是可判定的，而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。

• then introduces emphatically description logic and language alc based on description logic, giving example for the ontology-based knowledge base.

  然后介绍了描述逻辑和基于描述逻辑的本体表示语言alc，举例说明了alc表示的本体知识库。