描述逻辑

✍ dations ◷ 2025-10-08 09:25:30 #描述逻辑

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

相关

百日咳百日咳（Pertussis）是一种高度传染性的细菌性传染病。一开始的病征通常类似于普通感冒，会有流鼻水、发烧和轻微咳嗽等症状。之后几周会伴随着剧烈咳嗽，就连呼吸时也会发出高音调
花粉病过敏性鼻炎，又称为鼻敏感、干草热、花粉热、花粉症或季节性过敏性鼻炎，是因为免疫系统受到空气中的过敏原影响而导致的鼻炎症状。征兆和病症包括流鼻涕或鼻塞、打喷嚏、眼睛的
Mixed amphetamine salts安非他命（英文名称：Amphetamine也称为苯丙胺，为中枢神经刺激剂，用来治疗注意力不足过动症、嗜睡症、和肥胖症。“Amphetamine”一名撷取自alpha‑methylphenethylamine。安非他
大麻素大麻素（英语：Cannabinoids），又称大麻类物质，是从大麻里发现的一组萜酚类化合物，也自然地存在于动物神经和免疫系统里。大麻素的外延包括结构上与四氢大麻酚（Tetrahydrocannabinol，TH
1986年莱茵河污染事件1986年莱茵河污染事件（也称为山德士化学泄漏事件）是指1986年11月1日因为化工厂仓库发生爆炸起火，导致大量由磷化物、汞等制成的杀虫剂、除草剂、杀真菌剂的有害物质随着灭火用
夜遗尿夜遗尿（英语：Nocturnal enuresis），俗称尿床，部分地区也叫做攋尿（讹写作“濑尿”，“攋”是撒、遗、弃的意思），是指五岁或以上的儿童，于睡眠时不自觉的排尿现象。这是一个在儿童期很常见
牛痘病毒牛痘（英语：cowpox）是发生在牛身上的一种传染病，它的症状通常是在母牛的乳房部位出现局部溃疡。牛痘由牛痘病毒引发，而该病毒是天花病毒的近亲。如果挤奶工的皮肤上有伤口，该病会透
先天与后天先天与后天（nature versus nurture）是心理学上，争论个人的天生品质（先天）与个人经验（后天）在决定个人心理和行为特性中的重要性或因果关系的问题。以前，当讨论到这个问题时主要是考
包皮过长包皮（英语：Foreskin），一般指包在雄性阴茎龟头上的一层皮，有时也包括女性生殖构造上，包覆阴蒂的阴蒂包皮。包皮在胚胎时期伴随阴茎成长，有保护龟头防止外来伤害的作用。一般在青春期
埃及语族埃及语（圣书体：