本体语言

✍ dations ◷ 2025-06-27 10:19:25 #本体语言

在计算机科学和人工智能领域，本体语言（ontology language、又称为本体论语言）是指用于构建本体的形式语言。此类语言允许对有关特定领域的知识加以编码，且常常还包括为处理这些知识提供支持的推理规则。本体语言通常为描述性语言（又称为表述型语言、说明性语言），几乎总是属于框架语言的泛化形式，且一般都基于一阶逻辑或描述逻辑。此类语言采用某种标记方案来编码知识，且最为常用的标记语言是XML。F-Logic、OKBC和KM编程语言属于是完全或者部分基于框架的语言。描述逻辑提供了对于框架语言的一种扩展，但同时其变动幅度又没有大到跃迁至一阶逻辑以及支持任意的谓词。此类语言的例子包括KL-ONE、RACER系统和OWL。Gellish即是综合性本体语言的例子，同时又属于是基于描述逻辑的本体。除了别的之外，Gellish尤其区分下列关系类型之间的语义差别：同时，Gellish之中还包含用于表达查询以及交际意图的构造。CycL和KIF（知识交换格式）属于是支持一阶逻辑表达式的语言，尤其是允许通用谓词（general predicates）。

相关

NN00-N08 肾小球疾病N10-N16 肾小管、间质疾病N17-N19 肾衰竭N20-N23 尿石病N25-N29 肾和输尿管的其他疾患N30-N39 泌尿系统的其他疾病N40-N51 男性生殖器官疾病N60-N64 乳房
X光X射线（英语：X-ray），又被称为爱克斯射线、艾克斯射线、伦琴射线或X光，是一种波长范围在0.01纳米到10纳米之间（对应频率范围30 PHz到30EHz）的电磁辐射形式。X射线最初用于医学成像诊
头孢乙腈头孢乙腈（INN:Cefacetrile）是一种广谱抗菌素（英语：Broad-spectrum antibiotic），是第一代的头孢菌素，对革兰氏阳性菌或革兰氏阴性菌都有效，属于制菌剂（英语：Bacteriostatic）。药品的注册
糙蚌属糙蚌属（学名：Scabies）是双壳纲蚌目蚌科雕刻蚌亚科之下的一个属。贝壳小型,壳长一般在20毫米左右。壳较薄、坚固,外形呈长椭圆形或略呈楔形。壳面具有“v”型或“w”型的突起条
认知行为疗法认知行为治疗（英语：Cognitive Behavioral Therapy，简称 CBT）是一种心理治疗的取向、一种谈话治疗，以目标导向与系统化的程序，解决丧失功能的情绪、行为与认知问题。不同的治疗方式
假性怀孕假性怀孕是一种临床或是亚临床的症状，指生物在临床上出现一些怀孕的迹象（例如闭经、孕吐、乳房胀痛，甚至是腹胀，但事实上并非真正怀孕。临床上，人类以外的动物常出现假性怀孕（特别
反激动剂反激动剂（英语：inverse agonist）在药理学中是指和激动剂结合在相同的受体上，但引起相反的药理反应的物质。根据定义，反激动剂的效能为负。能受反激动剂作用的受体在没有结合任何
鸟鸟是鸟纲（学名：Aves）动物的通称，是唯一存活至今的恐龙，现代所有鸟类在生物学上也被分类为鸟形恐龙（即鸟翼类）的一部分；鸟纲的全体成员均为两足、恒温、卵生、身披羽毛且色彩鲜艳各异
教学医院教学医院是指具有教学用途，提供在学的医学院及护理学院学生见习、实习和作研究的医院。这类医院通常都是由大学的医学院开设，或由政府指定大学的医学院驻守，因此也被概括性的称
克里米亚克里米亚半岛（又译克里木半岛；俄语：Кры́мский полуо́стров，罗马化：Krymskiy poluostrov；乌克兰语：Кримський півострів，转写：Krymskyi nivost