描述逻辑

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

相关

  • 罗萨林·耶洛罗莎琳·萨斯曼·耶洛(英语:Rosalyn Sussman Yalow,1921年7月19日-2011年5月30日),美国医学物理学家,因开发多肽类激素的放射免疫分析法,而与罗歇·吉耶曼和安德鲁·沙利共同获得197
  • 立克次氏体痘立克次氏体痘(英文:Rickettsialpox)是由立克次氏体属病原体(Rickettsia akari(英语:Rickettsia akari))引起的、由螨传播的传染性疾病。1946年,该种疫情在纽约一片公寓群爆发后,医师罗
  • 性腺功能低下症性腺功能低下症,又称性腺机能减退,是指生殖系统的缺陷,导致生殖腺(卵巢或睾丸)的缺乏功能。生殖腺有着两种功能,就是分泌激素(睾酮、雌二醇、抗苗勒氏管激素、黄体素、抑制素B)、激
  • 共祖共同起源(英语:Common descent)是指一群生物体拥有最近共同祖先的情况。所有地球上的生命都源于最后共同祖先或最后共同祖先基因池。在演化生物学中,一群生物的某个共有的性状如
  • 腹膜透析腹膜透析(法语:La dialyse péritonéale, DP; 英语:Peritoneal dialysis、PD)是在腹腔注入透析溶液,利用体内的腹膜过滤,清除血液中新陈代谢的废物及多余水分,俗称“洗肚”,是除血
  • 行为经济学行为经济学(英语:Behavioral economics),经济学的一个分支,承袭经验主义,并受到心理学与认知科学的影响,探讨社会、认知与情感的因素,与个人及团体形成经济决策的背后原因,并从而了解
  • 世界旅游组织世界旅游组织(英语:World Tourism Organization,缩写UNWTO)是联合国下15个专门机构之一,成立的宗旨是促进和发展旅游事业以利于经济发展,总部设在西班牙马德里,现任秘书长是祖拉布
  • 喉癌喉癌为消化系统癌症的一种。大多数的喉癌都是鳞状细胞癌,可见喉癌主要是于喉上皮的鳞状上皮细胞上形成。 喉癌可以在喉的任何一个位置形成,而喉癌的康复率很受癌细胞位置的影
  • (8-)8-氨基喹啉是一种有机化合物,喹啉环上的8位被氨基取代。可用作医药中间体。8-氨基喹啉可在钴钼硫化物催化剂存在下,由氢气还原8-硝基喹啉得到。磷酸伯氨喹帕马喹他非诺喹
  • 圣卢西亚面积以下资讯是以2018年估计国家领袖国内生产总值(购买力平价) 以下资讯是以2016年估计国内生产总值(国际汇率) 以下资讯是以2016年估计人类发展指数 以下资讯是以2018年估计圣