描述逻辑

✍ dations ◷ 2024-07-03 07:57:33 #描述逻辑

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

相关

撒哈拉以南非洲撒哈拉以南非洲（英语：Sub-Saharan Africa），指撒哈拉沙漠以南的非洲地区，又称亚撒哈拉地区、下撒哈拉、漠南非洲，也有称黑非洲（Negro Africa）。政治上，包括了所有或部分领土位于撒哈拉
利-萨二氏心内膜炎利-萨二氏心内膜炎（Libman–Sacks endocarditis）是一种与全身性红斑性狼疮有关的非细菌性心内膜炎。为红斑性狼疮最常见的心脏病变之一。本疾病最早于1924年由纽约西奈山医院（
新生代新生代（Cenozoic）是地球历史上目前最新的一个地质时代，它从6600万年前开始一直持续到今天。随着白垩纪﹣古近纪灭绝事件的发生，中生代结束，新生代开始。在新生代中，哺乳动物已经是
嘴巴口腔，简称口，俗称嘴巴、嘴或咀，是指唇、腭、面颊和口腔底之间的空间，向上它与鼻腔相通。向后口腔与两个颌弓后的咽腔相连。口腔的后面的开口是咽峡，前面的开口是嘴。整个口腔的内
镰刀型红血球疾病镰刀型红血球疾病（英语：Sickle-cell disease, SCD）是一组通常由双亲遗传而来的血液疾病。其中最常见的一种类型，叫做镰状红血球贫血症（Sickle-cell anemia, SCA）。该疾病会引起红
甲苯甲苯（法语：Toluène，德语: Toluol，英语：Toluene，IUPAC：Methylbenzene，分子式：C7H8），是一种无色，带特殊芳香味的易挥发液体。甲苯是芳香族碳氢化合物的一员，它的很多性质与苯很相像，在现今
前体药物前体药物（英语：prodrug），也称前药、药物前体、前驱药物等，是指经过生物体内转化后才具有药理作用的化合物。前体药物本身没有生物活性或活性很低，经过体内代谢后变为有活性的物质，
厌氧法厌氧法是利用以厌氧细菌为主要工作菌种，在厌氧环境下对有机废水中各种有机成分进行了降解作用的废水生物处理法。主要工艺以UASB、BF等为主。适合处理高浓度有机物污水和一些
打针注射（英文：Injection）俗称打针，是一种利用注射器与针头穿过皮肤，并将液体送入身体内的方法。是一种给药途径，注射所预期的作用位置，不一定是受注射的位置。目前有多种不同的注射方
形态音位学词法音位学（英语：morphophonology 或 morphonology）是语言学分支之一，主要研究词法学与语音学或音位学的联系。主要关注语素（即最小的意义单位）在组合成词时发生的音变。词法音位