在计算机科学和人工智能领域，本体语言（ontology language、又称为本体论语言）是指用于构建本体的形式语言。此类语言允许对有关特定领域的知识加以编码，且常常还包括为处理这些知识提供支持的推理规则。本体语言通常为声明式语言（又称为表述型语言、说明性语言），几乎总是属于框架语言的泛化形式，且一般都基于一阶逻辑或描述逻辑。...

本体工程，又称为本体论工程、本体论设计或本体设计，是计算机科学与信息科学当中的一个新兴领域，旨在研究用于构建本体的方法和方法学。本体工程乃是一个新兴的研究和应用领域，关注的是本体开发过程、本体生命周期、用于构建本体的方法和方法学以及那些用于支持这些方面的工具套装和语言。 本体...

网络本体语言（英語：Web Ontology Language，OWL）旨在提供一种可用于描述网络文档和应用之中所固有的那些类及其之间关系的语言。OWL网络本体语言当前已经获得万维网联盟认可的，用于编纂本体的知识表达语言家族。 其功能在于为网络文档和应用中固有的类以及其间的逻辑关系提供描述，使得基于...

wiki）应用，旨在作为本体编辑器和知识获取系统 常识知识库 受控词表 形式化概念分析 格 本体对齐 本体图表 本体编辑器 本体学习 开放生物医学本体 软本体 术语集提取 弱本体 网络本体语言 语义网 本体工程 分体论 分体法 本体语言 知识表达 术语集 术语服务器 临床术语服务器 描述逻辑 形式系统 模块化本体 相关哲学概念...

本体编辑器，又称为本体论编辑器或者本体管理环境，是指设计用于辅助本体之创建、编辑、保存或处理等操作的应用程序。它们往往在众多的本体语言之中选用其一来表达本体。不过，有些本体编辑器还可以采用其他本体语言进行导出。尽管人们大都习惯于称此类工具为“本体编辑器”，而本体编辑器的功能实际上往往并不仅局限于本体的创建、编辑和保存。...

模块化本体是指具有模块结构的本体（知识库的一种表现形式）。许多应用领域需要模块化的本体，如 协作式本体开发 分布式数据管理 大规模本体的管理和推理 本体的部分重用 当前，实现模块化本体主要有两种主要的语言途径。一种是基于非经典语义的逻辑语言扩展，如分布式描述逻辑，E-连接和基于包的描述逻辑；另外一...

基因本体论也是一个更大的系统分类项目的一部分，这个项目是开放生物医学系统注释（Open Biomedical Ontologies (OBO））。 与基因命名法不同，除了维护和控制发展基因及其产物性质描述的词汇，基因本体论也致力于使用机器学习可以理解的标记语言...

在数学、逻辑和计算机科学中，形式语言（英語：Formal language）是用精确的数学或机器可处理的公式定义的语言。 如语言学中语言一样，形式语言一般有两个方面：语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言...

literally") 语言学主题 先創語言與非先創語言 人工語言列表 國際輔助語言 Wikipedia:人工語言維基百科 藝術語言 通用語 本体语言 語言創造者列表（英语：List of language inventors） 知识表达 Wikia上的人造語言維基(中文) 一個使用維基系統的人造語言網站(英文)...

描述逻辑（description logic）是一種用于知识表示的逻辑语言和以其为对象的推理方法，主要用于描述概念分类及其概念之间的关系。描述逻辑方法多数被用到涉及知识分类的应用领域，如数字图书馆和面向万维网的信息处理。描述逻辑是当前语义网发展中本体的理论基础。例如，OWL因特网本体语言就是一种描述逻辑SHIOQ (D)的语法形式。...

在计算机科学领域，本体构成要素指的就是构成本体的基本元素；当代的本体所采用的语言形形色色，但它们在结构上却具有许许多多的相似性；大多数本体所描述的对象都包括个体（实例）、类（概念、对象类型）、属性以及关系。...