1.本体论(哲学)
本体论就是“研究到底哪些名词代表真实的存在实体,哪些名词只是代表一种概念”。近年来,
人工智能及
资讯技术相关领域的学者也开始将本体论的观念用在
知识表达上,即借由本体论中的基本元素:概念及概念间的关连,作为描述真实世界的知识模型。针对此一趋势,
W3C组织也开始定义了许多
本体论的
相关语言,如
RDF、
DAML+OIL、
OWL等。
2.本体(信息科学)
本体实际上就是对特定
领域之中某套
概念及其相互之间
关系的形式化表达(formal representation)。本体是人们以自己兴趣
领域的
知识为素材,运用信息科学的本体论原理而编写出来的
作品(英语:
Artifact (software development))。本体一般可以用来针对该领域的属性进行
推理,亦可用于定义该领域(也就是对该领域进行建模)。此外,有时人们也会将“本体”称为“本体论”。
......
自二十世纪70年代中期以来,
人工智能(简称AI)领域的研究人员认识到,知识的获取乃是构建强大AI系统的关键所在。AI研究人员认为,他们可以把新的本体创建成为
计算模型,从而成就特定类型的
自动推理。二十世纪80年代,AI领域就开始采用术语ontology来同时指称关于模型化世界的一种理论以及知识系统的一种组件。借助于来自哲学本体论的灵感,一些研究人员继而把计算机本体论视为一种
应用哲学
[7]。
3.本体语言
在
计算机科学和
人工智能领域,本体语言(ontology language、又称为本体论语言)是指用于构建
本体的
形式语言。此类语言允许对有关特定
领域的
知识加以编码,且常常还包括为处理这些知识提供支持的
推理
规则。本体语言通常为
描述性语言(又称为表述型语言、说明性语言),几乎总是属于
框架语言的
泛化形式,且一般都基于
一阶逻辑或
描述逻辑。
4.计算机逻辑
有相关的一个年刊
IEEE Symposium on Logic in Computer Science(LICS)。
5.知识(来源百度百科)
哲学:有一个经典的定义来自于柏拉图:一条陈述能称得上是知识必须满足三个条件,它一定是被验证过的,正确的,而且是被人们相信的,这也是科学与非科学的区分标准。
IT:在信息技术中,对企业或个人来说,知识(knowledge)是指信息的拥有,或快速定位信息的能力。