描述逻辑

✍ dations ◷ 2024-12-22 17:13:15 #描述逻辑

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

相关

藻类藻类，又称作悬浮植物，包括数种不同类以光合作用产生能量的生物，其中有属于真核细胞的藻类，也有属于原核细胞的藻类。它们一般被认为是简单的植物，并且一些藻类与比较高等的植物有
质粒质体（英语：Plasmid）是指在细胞的染色体或核区DNA之外，能够自主复制的DNA分子（字源：plasm为生殖质，-id表示粒）。质体与染色体最主要的区分是，质体不是细胞生存所必需，染色体则是细胞生
嗜酸性粒细胞嗜酸性粒细胞（英语：Eosinophil, Eosinocyte 或 Acidophil，全稱 Eosinophilic granulocyte）是粒细胞中含有嗜酸性颗粒的一种，其他两种是中性粒细胞和嗜碱性粒细胞。其吞噬能力不如
救济人道援助（英语：Humanitarian aid）又称人道救援，是基于人道主义（例如出现人道危机时）而对受助者作出物资上或物流上的支援，主要目的是拯救生命，舒缓不幸状况，以及维护人类尊严。 “人
斐迪南二世斐迪南二世，可能是指以下历史人物：
化学药物治疗人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学化学疗法（英语：Chemotherapy），简称化疗（Che
促甲状腺激素促甲状腺激素，又称TSH（英语：Thyroid-stimulating hormone, TSH or Thyrotropin），是一个由垂体前叶当中的促甲状腺激素细胞所分泌的肽类激素。该激素用于调节甲状腺的内分泌功能.
妊娠型高血压妊娠型高血压（英语：Gestational hypertension，或pregnancy-induced hypertension），指孕妇在怀孕二十周之后，出现的高血压症状。如果孕妇怀有多胞胎，或是水泡状胎（葡萄胎），可能在二十周
阿尔泰语系阿尔泰语系（英语：Altaic languages），别译阿勒泰语系，是一个按照语言系属分类方法所划分的一组假说性语系，主要将突厥语族、蒙古语族和通古斯语族划为一个语系，有时朝鲜语、琉球语、
尼日尔-刚果语系尼日尔-刚果语系分布在非洲的中部和非洲南部部分地区。大部分尼日尔-刚果语系语言都是声调语言，词句顺序通常为主谓宾结构（SVO）。而南非的祖鲁语和科萨语，受到邻近的科依桑语系