您要查找的是不是：
- temporal description logic 时序描述逻辑
- Temporal descriptive logic 时序描述逻辑
- 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以及在描述逻辑中的合取查询。
- He gave a description of what he had seen. 他描述了他所见到的一切。
- OWL: A Description Logic for the Semantic Web 一种用于语义网的描述逻辑
- A Distributed Dynamic Description Logic 一种分布式动态描述逻辑
- An Agent Model Based on Dynamic Description Logic 基于动态描述逻辑的主体模型
- The word is a temporal conjunction. 该词是表示时间的连词。
- The Pope has no temporal power in modern society. 教皇在当代社会没有世俗方面的权利。
- extended fuzzy description logic 扩展模糊描述逻辑
- Description Logic Reasoning Semantic Web Web本体语言（OWL）
- Spatio-temporal description logic 时空描述逻辑
- At this point your logic is at fault. 在这一点上你的推理是错误的。
- "When" is a temporal conjunction. "when"是一个时间连接词。
- distributed dynamic description logic 分布式动态描述逻辑
- And temporal logic can be extended. 可以扩展时态逻辑。
