描述逻辑手册 The Description Logic Handbook ; dl handbook
模糊描述逻辑 fuzzy description logics
描述逻辑实现小组 dl implementation group
分布式描述逻辑 Distributed Description Logic
描述逻辑推理机 DL reasoner
目标描述逻辑 goal description logics
描述逻辑和数据组织 Description Logics and Data Organization
XUMI服务描述逻辑 XUMI Service Description Logics ; XSDL
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.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
在此思想基础上，进一步提出了基于描述逻辑的IDS告警关联模型。
Based on this thought, we propose an IDS alert correlation model based on description logics.
应用推荐