描述逻辑

✍ dations ◷ 2025-11-18 13:21:27 #描述逻辑

描述逻辑（description logic）是一种用于知识表示的逻辑语言和以其为对象的推理方法，主要用于描述概念分类及其概念之间的关系。描述逻辑方法多数被用到涉及知识分类的应用领域，如数字图书馆和面向万维网的信息处理。描述逻辑是当前语义网发展中本体的理论基础。例如，OWL因特网本体语言就是一种描述逻辑SHIOQ (D)的语法形式。描述逻辑根据其表达能力的程度不同，形成不同的逻辑子语言。绝大多数的描述逻辑类型都可以被看成对应着一阶逻辑的一个可判定性的片段（fragment），即每个描述逻辑中的命题都可以在有限时间内完成证明或证否。只有极少数的描述逻辑类型被认为是不可判定的。一个描述逻辑系统中的名字可分为概念（concept），属性（role）和个体（individual）。例如，一个用描述逻辑描述的知识库如下：其中，“男人”、“人”、“丈夫”是概念，“婚配于”是属性，“张三”是个体。

相关

精神病精神障碍（英语：mental disorder），或称精神疾病，俗称心理疾病，主要是一组以表现在行为、心理活动上的紊乱为主的精神症状。目前研究所得到的结果认为主要是由于家庭、社会环境等外
谵妄.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
外呼吸外呼吸是指氧与二氧化碳在肺脏内与其周围微血管血液间所进行的气体交换，相对的概念是内呼吸（指一般细胞内与微血管血液间的气体交换。
封套封套（法语：enveloppe，英语：envelope，葡萄牙语：envelope，德语：Umschlag，西班牙语：sobre），是一种包装工具，通常都是压平的。制造信封的材料有很多种，最常见的是纸张，其次还有纸版、塑胶、牛皮
美国独立美国革命（英语：American Revolution）泛指北美十三殖民地脱离大英帝国，并创建美利坚合众国的一连串事件与思潮。历史学界普遍视1760年代的抗税运动为美国革命的源头，经历美国独立
后述心电图（Electrocardiography、ECG 或者 EKG）是一种经胸腔的以时间为单位记录心脏的电生理活动，并通过皮肤上的电极捕捉并记录下来的诊疗技术。这是一种无创性的记录方式。Elect
制霉菌素6-dideoxy-β-L-mannopyranosyl)oxy]-1, 3,4,7,9,11,17,37-octahydroxy-15, 16,18-trimethyl-13-oxo-14, 39-dioxabicyclononatriaconta-19, 21,25,27,29,31-hexaene-36-ca
股疝股疝是一种腹外疝，是指腹腔内的器官或组织连同腹膜壁层形成的疝囊通过股环经股管向卵圆窝突出。其发病率约占腹外疝的3～5%，多见于中老年妇女。根据传统定义，股疝不属于腹股沟疝，
突变原突变原（英语：Mutagen，又译致变原、致突变原、致突变剂或诱变剂等）是指一些能使生物体内的遗传讯息（通常是脱氧核糖核酸）发生变化的物理或化学因子。生物若处于这些因子的作用下，发
杓肌杓肌（arytenoid muscle、arytenoid、/ærᵻˈtiːnɔɪd/）为一个单一的肌肉，填补杓状软骨的后凹表面。杓肌源自于杓状软骨的后表面及外侧边界，并被插入相对的软骨之相应部分。杓