在计算机科学和人工智能领域，本体语言（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)的语法形式。...

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

似，并且结合了传统索引、搜索引擎与人工智能等领域的优点，可以有效的组织知识以利于探索、推理，解决大量无序信息所带来的问题。国际标准化组织(ISO)标准的正式名称为ISO/IEC 13250:2003。 语义网 概念图 心智图 统一建模语言(UML) 本体 (信息科学) 网络本体语言(OWL) 元建模...

從人工智能的角度來看，知識表示所牽涉的一些問題計有： 人類如何表示知識？ 知識的本質是什么？我們如何表示它？ 某種表示法應該只用在某個領域，或者應該通用于所有領域？ 某种知识表达方案（英文：representation scheme）的表现能力或者说表现力如何？ 表示法應該是描述性的，或者是程序性的？ 描述逻辑 网络本体语言 本体语言...

解剖学基础模型，又称解剖学基础模型本体（Foundational Model of Anatomy Ontology, FMA），是解剖学领域的一部参考本体。它是对生物体典型的表现型结构的符号表达形式；FMA是一部由解剖学实体和关系所构成的空间结构本体，而这些实体和关系在所有显著的粒度层次之上构成的则是生物体的实际组织结构。...

systems of inference rules for both RDF and RDFS 维基共享资源上的相关多媒体资源：資源描述框架 开放目录项目中的“資源描述框架” 互联网主题 後設資料 语义网（Web 3.0） 简单知识组织系统 RDF模式（英语：RDF Schema） 本体语言 OWL...

Knowledge Base Connectivity，OKBC），是一种在本体储存库或对象关系数据库之类的知识表达系统之中用于访问知识的一种协议和API。与作为的知识交换格式（Knowledge Interchange Format，KIF）相比，OKBC在某种程度上起着补充作用。 本体语言 本体论 本体...

SHIOQ (D)是一种描述逻辑语言。OWL 1.0Web本体语言是SHOIQ(D)的一种语法形式。 SHIOQ（D）中允许如下的语言构造符： S = ALC+ 允许 ¬ , ⊓ , ⊔ , ∃ , ∀ {\displaystyle \neg ,\sqcap ,\sqcup ,\exists ,\forall...

（英文） 语义网研究社区门户（页面存档备份，存于互联网档案馆） （中文） 中文语义网研究论坛 （中文） W3CHINA.ORG讨论区（页面存档备份，存于互联网档案馆） 计算机科学主题 信息技术主题 互联网主题 蒂姆·伯纳斯-李 语义网 本体语言 本体论 本体 知识表达 术语集 描述逻辑 形式系统 语义学...

OWL可以指： 鴞，鴞形目（Strigiformes）夜行性捕食鳥類。 网络本体语言（Web Ontology Language），一种用于描述语义网上本体论关系的语言，由W3C制定。到2012年前，W3C发表了新的OWL规范OWL2。 Object Windows Library，由Borland公司在Turbo...

Protégé（直译：「門生」），通常拼为“Protege”，是一个史丹佛大学开发的本体编辑和知识管理系統。 开发语言采用Java，属于开放源码软件。由于其优秀的设计和众多的插件，Protégé已成为目前使用最广泛的本体论编辑器之一。 第一个Protégé系统为1987年开发。 Protégé的官方网站（页面存档备份，存于互联网档案馆）...

（页面存档备份，存于互联网档案馆） （英文）http://common-logic.org/ （页面存档备份，存于互联网档案馆） （英文）SUO-KIF语法 计算机科学主题 语言主题 知识查询与操作语言（英语：Knowledge Query and Manipulation Language） 知识库 本体 本体工程...

語言哲學是一門哲學的分支，對語言的用法、來源及本質作理性的研究。對於分析哲學來說，有四個主要關心的問題：意義的本質、語言用法、語言認知及語言與現實的關係。對分析哲學家來說，語言哲學是邏輯、歷史甚至政治的一部分。 在二十世纪初“语言学转向”中诞生的分析哲学将语言...

语言。OMG提出了QVT标准，查询/视图/变换模型。QVT基于元对象机制或MOF。在其他的模型转换语言(MTLs)中，实现了这一标准的例子是AndroMDA, VIATRA, Tefkat 或 MT.。 元模型与本体密切相关。两个经常被用来描述和分析的概念之间的关系 本体...

OWL-S，是建構於美國國防高等研究計劃署（DARPA）DARPA代理標記語言（DAML）計畫所推動的網路本體語言（OWL）之上的一種資訊本體。它取代了先前的DAML-S（英语：DAML-S）本體。OWL-S 是在語義網的OWL基礎架構下，用來描述語義網服務（英语：Semantic Web...

自然语言（英語：Natural language）通常是指一种自然地随文化演化的语言。汉语、英语、法語、西班牙語、葡萄牙文、日语、韓語、義大利文、德文为自然语言的例子。而世界语则为人工语言，即是一种由人特意为某些特定目的而创造的语言。 不过，有时所有人类使用的语言（包括上述自然地随文化演化的语言...

笛卡尔和莱布尼茨将概念的清晰度和分明度称为是概念的特征。 康德区分概念与见解：他认为见解是对个别事物的想象，而概念则是对多个事物的共同点的想象。 在哲学上对除用来描述的语言本体及其所描述的事物外是否还有其它思想上的、思维上的或抽象的实体如“思维单位”、内涵、外延等有争议。 在认识论中概念被看作是对与人类无关的事实存在的特...

求存在一致的全局语义。传统的Tableau推理算法可以推广到DDL的情况。 DDL是基于分布式一阶逻辑而发展起来的，而它也继承了分布式一阶逻辑的一些缺点。例如，其表达力比较有限，桥规则只能用于连接概念。比它表达力强的类似模块化本体语言还有基于包的描述逻辑和E-连接 C-OWL是DDL的一种语法形式。...

本体（tenor）而舞台是喻体（vehicle）；而「男人」與「女人」是第二層次的本体，「演戲的人」則是用來描述「男人」與「女人」的憑借，「是」則是喻詞。 第三句則將憑借中的屬性投射到本体上。本体與喻体類似或相同的屬性就是聯繫兩者的地基（ground）。例如，在「人生如戲」的隱喻當中，人生是本体...

SKOS Core可運用於結合其他的語意網來產生對資訊更豐富的描述。以RDF詞彙描述語言（RDFS）透過它的次層級與次屬性構造，提供簡單的RDF詞彙基本的延伸技巧。Web Ontology Language（網路本體語言）與SKOS Core結合的運用，產生強而有力的資源表達基礎。SKOS是一個強而有...

语言表达形式之间加以匹配，以便提高匹配算法的查全率和查准率。 检索出一系列固定的且采用一种语言的术语表达形式与另一种自然语言的翻译形式之间的任何已经声明的关联关系。 检索出一系列固定的且采用一种语言的术语表达形式与某一概念体系或本体之中实体之间的任何已经声明的关联关系。 检索出某一概念体系或本体...

語言以便處理儲存在RDF格式上的知識數據集合。 RDF大概只能用於自動化機械加工，對人類而言冗長及複雜的表現機制與推理規則使它沒能作為人類語言，除非是極小的文本。不過，它仍然可以作為廣泛的研究規範。 网络本体语言(OWL)，由W3C標準化的另一種"知識表示語言"，從"普通邏輯"(Common...