描述逻辑手册 The Description Logic Handbook ; dl handbook ; Logic Description
模糊描述逻辑 fuzzy description logics
描述逻辑实现小组 DIG ; dl implementation group
分布式描述逻辑 Distributed Description Logic
描述逻辑推理机 DL reasoner
目标描述逻辑 goal description logics ; GDLS
以描述逻辑 Description Logics ; DLS
描述逻辑和数据组织 Description Logics and Data Organization
It proceeds studying the formalization problems of data attributes dependence, action attributes dependence and global attributes dependence of UML class diagram with dependence attributes based on description logics.
研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。
参考来源 - 基于描述逻辑的带依赖属性UML类图As the latest research results of knowledge representation, the descriptive logic, SI is adopted to express the semantic information and provide the reasoning capability.
结合知识表示的研究成果,本文使用描述逻辑语言SI作为语义信息的表示语言并实现其推理机制。
参考来源 - 一种面向普适计算环境的语义化推理存储技术研究·2,447,543篇论文数据，部分数据来源于NoteExpress
在描述逻辑中加入认知运算符k可以得到认知描述逻辑。
By adding the epistemic operator "K" to the description logic, the epistemic description logic can be obtained.
结合本体理论，提出了基于模糊区间的本体描述逻辑理论。
A description logic theory support ontology based on fuzzy interval was proposed.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
应用推荐