分类 编辑
按语法分类 编辑
传统语法本体语言 编辑
- CycL
- DOGMA（Developing Ontology-Grounded Methods and Applications，字面意思为“建立基于本体的方法和应用”）
- F-Logic（Frame Logic，框架逻辑，F-逻辑）
- KIF（Knowledge Interchange Format，知识交换格式）
- KL-ONE
- KM编程语言
- LOOM
- OCML（Operational Conceptual Modelling Language，操作型概念建模语言）
- 开放知识库连接（Open Knowledge Base Connectivity，开放知识库连接）
- PLIB（Parts LIBrary，字面意思为“部件库“）
- RACER系统（推理机）
标记本体语言 编辑
此类语言采用某种标记方案来编码知识，且最为常用的标记语言是XML。
- DAML+OIL
- OIL（Ontology Inference Layer或者Ontology Interchange Language，OIL，本体推理层或者本体交换语言）
- 网络本体语言（OWL，Web Ontology Language）
- 资源描述框架（RDF，Resource Description Framework）
- RDF模式
- SHOE
按结构分类 编辑
基于框架的本体语言 编辑
F-Logic、OKBC和KM编程语言属于是完全或者部分基于框架的语言。
基于描述逻辑的本体语言 编辑
描述逻辑提供了对于框架语言的一种扩展，但同时其变动幅度又没有大到跃迁至一阶逻辑以及支持任意的谓词。此类语言的例子包括KL-ONE、RACER系统和OWL。
Gellish即是综合性本体语言的例子，同时又属于是基于描述逻辑的本体。除了别的之外，Gellish尤其区分下列关系类型之间的语义差别：
- 概念（类）之间关系的关系类型
- 个体之间关系的关系类型
- 个体与类之间关系的关系类型
同时，Gellish之中还包含用于表达查询以及交际意图的构造。
基于一阶逻辑的本体语言 编辑
CycL和KIF属于是支持一阶逻辑表达式的语言，尤其是允许通用谓词（general predicates）。
参考文献 编辑
参閲 编辑
本体语言, 在计算机科学和人工智能领域, ontology, language, 又称为本体论语言, 是指用于构建本体的形式语言, 此类语言允许对有关特定领域的知识加以编码, 且常常还包括为处理这些知识提供支持的推理规则, 通常为声明式语言, 又称为表述型语言, 说明性语言, 几乎总是属于框架语言的泛化形式, 且一般都基于一阶逻辑或描述逻辑, 目录, 分类, 按语法分类, 传统语法, 标记, 按结构分类, 基于框架的, 基于描述逻辑的, 基于一阶逻辑的, 参考文献, 参閲分类, 编辑按语法分类, 编辑, 传统语法,. 在计算机科学和人工智能领域 本体语言 ontology language 又称为本体论语言 是指用于构建本体的形式语言 此类语言允许对有关特定领域的知识加以编码 且常常还包括为处理这些知识提供支持的推理规则 本体语言通常为声明式语言 又称为表述型语言 说明性语言 几乎总是属于框架语言的泛化形式 且一般都基于一阶逻辑或描述逻辑 目录 1 分类 1 1 按语法分类 1 1 1 传统语法本体语言 1 1 2 标记本体语言 1 2 按结构分类 1 2 1 基于框架的本体语言 1 2 2 基于描述逻辑的本体语言 1 2 3 基于一阶逻辑的本体语言 2 参考文献 3 参閲分类 编辑按语法分类 编辑 传统语法本体语言 编辑 CycL 英语 CycL DOGMA 英语 DOGMA Developing Ontology Grounded Methods and Applications 字面意思为 建立基于本体的方法和应用 F Logic 英语 F Logic Frame Logic 框架逻辑 F 逻辑 KIF 英语 KIF Knowledge Interchange Format 知识交换格式 基于KIF的Ontolingua 英语 Ontolingua KL ONE 英语 KL ONE KM编程语言 LOOM 英语 LOOM ontology OCML 英语 OCML Operational Conceptual Modelling Language 操作型概念建模语言 开放知识库连接 Open Knowledge Base Connectivity 开放知识库连接 PLIB 英语 PLIB Parts LIBrary 字面意思为 部件库 RACER系统 英语 RACER system 推理机 标记本体语言 编辑 此类语言采用某种标记方案来编码知识 且最为常用的标记语言是XML DAML OIL 英语 DAMLplusOIL OIL 英语 Ontology Inference Layer Ontology Inference Layer或者Ontology Interchange Language OIL 本体推理层或者本体交换语言 网络本体语言 OWL Web Ontology Language 资源描述框架 RDF Resource Description Framework RDF模式 英语 RDF Schema SHOE 英语 SHOE 按结构分类 编辑 基于框架的本体语言 编辑 F Logic 英语 F Logic OKBC和KM编程语言 英语 KM programming language 属于是完全或者部分基于框架的语言 基于描述逻辑的本体语言 编辑 描述逻辑提供了对于框架语言的一种扩展 但同时其变动幅度又没有大到跃迁至一阶逻辑以及支持任意的谓词 此类语言的例子包括KL ONE 英语 KL ONE RACER系统 英语 RACER system 和OWL Gellish 英语 Gellish 即是综合性本体语言的例子 同时又属于是基于描述逻辑的本体 除了别的之外 Gellish 英语 Gellish 尤其区分下列关系类型之间的语义差别 概念 类 之间关系的关系类型 个体之间关系的关系类型 个体与类之间关系的关系类型同时 Gellish 英语 Gellish 之中还包含用于表达查询以及交际意图的构造 基于一阶逻辑的本体语言 编辑 CycL 英语 CycL 和KIF 英语 KIF 属于是支持一阶逻辑表达式的语言 尤其是允许通用谓词 general predicates 参考文献 编辑Oscar Corcho Asuncion Gomez Perez http www cs man ac uk ocorcho documents ekaw00 CorchoGomezPerez pdf 页面存档备份 存于互联网档案馆 2000 Enrico Franconi 描述逻辑入门课程 页面存档备份 存于互联网档案馆 意大利博尔札诺自由大学计算机科学院 参閲 编辑 nbsp 计算机科学主题 nbsp 语言主题 人工语言 形式语言 本体 本体工程 正規概念分析法 一阶逻辑 描述逻辑 知识表达 晶格 域理论 伽罗瓦连接 取自 https zh wikipedia org w index php title 本体语言 amp oldid 76418302, 维基百科，wiki，书籍，书籍，图书馆，
文章
，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。