描述逻辑

✍ dations ◷ 2025-01-22 23:44:22 #描述逻辑

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

相关

汉他病毒汉坦病毒（Hantavirus），又译汉坦病毒，是本雅病毒目的一种病毒，其引发的病症称为汉他病/肾综合征出血热/流行性出血热，为一种经由老鼠传染给人类的致命传染病，被列为生物性危害第四级
腺苷脱氨酶检测1M7M, 3IAR· adenosine deaminase activity · adenosine deaminase activity · adenosine deaminase activity · protein binding · zinc ion binding · zinc io
灭绝营纳粹集中营转移营比利时：布伦东克堡垒 · 梅赫伦转移营法国：居尔集中营 · 德朗西集中营意大利：波尔查诺转移营荷兰：阿默斯福特集中营 · 韦斯特博克转移营挪威：法斯塔德集中营部
British Medical Journal英国医学期刊（British Medical Journal，简称 BMJ），是一份同行评审性质的综合医学期刊，也是最古老的医学期刊之一。由BMJ出版集团公司（BMJ Publishing Group Ltd）（属于英国医学协会（Br
部分激动剂部分激动剂（英语：partial agonist）可以和某个特定的受体结合并将其激活，但是和完全激动剂相比，它只有部分效能，可以看作是既具有激动剂活性，又具有拮抗剂活性的配体。当完全激动剂
大流行瘟疫，指大型且具有传染力又会造成死亡的流行病，在广大区域或全球多处传染人或其他物种。现代医学卫生发达，许多会造成大量死亡的瘟疫都有效控制为流行病等级。根据世界卫生组织
世界卫生大会世界卫生大会（法语：Assemblée Mondiale de la Santé，AMS ; WHA; 英语：World Health Assembly，WHA），是世界卫生组织（WHO）的最高权力机构。世界卫生大会每年5月在瑞士日内瓦的万国
枕部枕骨（L'os occipital / occipital bone）中医上又称山骨、玉枕骨、乘枕骨、后枕骨。组成颅骨的29块骨骼之一。共一块。枕骨位通人字缝连接顶骨之后，一直延伸至颅底。枕骨下方中
乌克兰乌克兰维尔纳茨基国家图书馆（乌克兰语：Національна бібліотека України імені В. І. Вернадського）是乌克兰规模最大的图书馆
博厄斯Helene Boas Yampolsky (1888-1963) Ernst Philip Boas (1891-1955)Hedwig Boas (1893/94)Gertrud Boas (1897-1924)Henry Herbert Donaldson Boas (1899-1925) MarieMeie