首页 >
描述逻辑
✍ dations ◷ 2025-06-07 10:15:38 #描述逻辑
描述逻辑（description logic）是一种用于知识表示的逻辑语言和以其为对象的推理方法，主要用于描述概念分类及其概念之间的关系。描述逻辑方法多数被用到涉及知识分类的应用领域，如数字图书馆和面向万维网的信息处理。描述逻辑是当前语义网发展中本体的理论基础。例如，OWL因特网本体语言就是一种描述逻辑SHIOQ (D)的语法形式。描述逻辑根据其表达能力的程度不同，形成不同的逻辑子语言。绝大多数的描述逻辑类型都可以被看成对应着一阶逻辑的一个可判定性的片段（fragment），即每个描述逻辑中的命题都可以在有限时间内完成证明或证否。只有极少数的描述逻辑类型被认为是不可判定的。一个描述逻辑系统中的名字可分为概念（concept），属性（role）和个体（individual）。例如，一个用描述逻辑描述的知识库如下：其中，“男人”、“人”、“丈夫”是概念，“婚配于”是属性，“张三”是个体。
相关
- 诊断诊断，在医学意义上指对人体生理或精神疾病及其病理原因所作的判断。作出这种判断一般需要的的资料有：医生等专业人员根据症状、病史（包括家庭病史）、病历及医疗检查结果等。其概
- 俄勒冈州俄勒冈å·ï¼ˆè‹±è¯ï¼šState of Oregon）是ç¾å›½çš„一个å·ï¼Œä½äºç¾å›½è¥¿åŒ—的太平
- 李德尔氏综合征李德尔氏综合征(Liddle's syndrome、假性醛固酮增多症)是常染色体显性遗传(Dominance (genetics))疾病、特征在于早期频繁严重的高血压，以及与低血浆肾素活性、代谢性碱中毒(
- 良性前列腺增生良性前列腺增生症（英语：Benign Prostatic Hyperplasia，缩写BPH），俗称前列腺肥大症或前列腺肥大，以前列腺中叶增生为实质改变而引起的一组综合征，良性前列腺增生症是属于男性常见的
- 混合菌纲混合菌纲（学名：Mixiomycetes）是担子菌门柄锈菌亚门下的一个纲。该纲仅包含一个目（混合菌目，Mixiales），此目下有一个科（混合菌科，Mixiaceae），此科下又仅有一个单型属（混合菌属，Mixia）。Mixi
- L-多巴L-多巴（英语：L-DOPA，全称3,4-二羟苯丙氨酸）是酪氨酸经酪氨酸羟化酶的作用下羟化产生的一种氧化产物，具有儿茶酚羟基，可进一步生成另外一些有生物活性的物质：L-多巴在酪氨酸酶的作用
- 城市径流城市径流（Urban runoff），是城市化造成雨水的地表径流。这种径流是世界许多城市化地区水污染的主要来源。道路、停车场和人行道等不透水表面是在土地开发过程中建设形成的。在暴
- 中国水资源水资源总量为降水形成的地表和地下产水量，即地表产水量与降水入渗补给地下水量之和。由两部分组成：第一部分为河川径流量，即地表水资源量；第二部分为降水入渗补给的地下水量，即地
- 辛醛糖2,3,4,5,6,7,8-七羟基辛醛（IUPAC名：2,3,4,5,6,7,8-heptahydroxyoctanal）是一类辛醛糖。可在库尔勒香梨等植物中发现。共有64种镜像异构物，例如:D-赤藓-L-半乳辛糖、D-赤藓-L-甘
- 通用规范汉字表陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧
