您要查找的是不是：
- Instance Store - Instance Store: Java application for (Description Logic) reasoning over large numbers of individuals. 这个Java应用程序用于在大量个体之上进行(描述逻辑)推理。
- An extended fuzzy description logic is proposed to increase expressive power for complex fuzzy information. 摘要为了提高对复杂模糊信息的表示能力，提出一种扩展的模糊描述逻辑。
- Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic. 描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。
- The definitions of syntax structure, semantic interpretation, knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic. 定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。
- The thesis achieves next results:Firstly, this paper introduces the Description Logic ALCR+, the epistemic description logic ALCK and the conjunctive query in the Description Logic. 本文的工作主要围绕以下几个方面展开:论文首先介绍了描述逻辑ALCR+,认知描述逻辑ALCK以及在描述逻辑中的合取查询。
- OWL: A Description Logic for the Semantic Web 一种用于语义网的描述逻辑
- A Distributed Dynamic Description Logic 一种分布式动态描述逻辑
- He gave a description of what he had seen. 他描述了他所见到的一切。
- An Agent Model Based on Dynamic Description Logic 基于动态描述逻辑的主体模型
- extended fuzzy description logic 扩展模糊描述逻辑
- Description Logic Reasoning Semantic Web Web本体语言（OWL）
- Spatio-temporal description logic 时空描述逻辑
- distributed dynamic description logic 分布式动态描述逻辑
- At this point your logic is at fault. 在这一点上你的推理是错误的。
- The current research progresses and the existing problems of description logic(DL), especially the insufficiency of using dynamic description logic(DDL) to act as logical foundation for the semantic Web, are analyzed in this paper. 分析了目前描述逻辑(DL)的研究现状和存在的问题;特别是动态描述逻辑(DDL)作为语义Web逻辑基础所存在的问题.
- Description logics are fragments of the first-order logic，which contain concepts，roles，and concept and role constructors；and have features of strong expressivity and decidable reasoning. 摘要描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑，具有表达能力强且推理可判定的特征。
- The West Lake was beautiful beyond description. 西湖美得难以描述。
- This girl gave a vivid description of the event. 那女孩对这件事作了一番生动的描述。
- Loosely, a mathematical or logic operator. 不严格地说，一种数学或逻辑运算符。
- The beautiful scenery baffles description. 这美丽的景色难以形容。
