RDF学习（一）

1.本体论（哲学）

    本体论就是“研究到底哪些名词表明真实的存在实体，哪些名词只是表明一种概念”。近年来， 人工智能及 资讯技术相关领域的学者也开始将本体论的观念用在 知识表达上，即借由本体论中的基本元素：概念及概念间的关连，做为描述真实世界的知识模型。针对此一趋势， W3C组织也开始定义了许多 本体论的 相关语言，如 RDF、 DAML+OIL、 OWL等。

 

2.本体（信息科学）

    本体实际上就是对特定 领域之中某套 概念及其相互之间 关系的形式化表达（formal representation）。本体是人们以本身兴趣 领域的 知识为素材，运用信息科学的本体论原理而编写出来的 做品（英语： Artifact (software development)）。本体通常能够用来针对该领域的属性进行 推理，亦可用于定义该领域（也就是对该领域进行建模）。此外，有时人们也会将“本体”称为“本体论”。

    做为一种关于 现实 世界或其中某个组成部分的知识表达形式，本体目前的应用领域包括（但不只限于）： 人工智能、 语义网、 软件工程、 生物医学信息学、 图书馆学以及 信息架构。

    ......

    自二十世纪70年代中期以来， 人工智能（简称AI）领域的研究人员认识到，知识的获取乃是构建强大AI系统的关键所在。AI研究人员认为，他们能够把新的本体建立成为 计算模型，从而成就特定类型的 自动推理。二十世纪80年代，AI领域就开始采用术语ontology来同时指称关于模型化世界的一种理论以及知识系统的一种组件。借助于来自哲学本体论的灵感，一些研究人员继而把计算机本体论视为一种 应用哲学 [7]。

 

3.本体语言

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

 

4.计算机逻辑

    计算机逻辑描述应用于 计算机科学和 人工智能的 逻辑。它包括：

• 以在 计算机科学中的应用为导向的逻辑学研究。例如： 组合子逻辑和 抽象释义；
• 以逻辑形式天然表达的计算机科学基本概念。例如：编程语言的 形式语义， 霍尔逻辑和 逻辑编程；
• 计算理论的关注形式逻辑的基本问题的方面。例如： Curry-Howard对应和 博弈语义；
• 被看成 应用计算机科学的逻辑工具。例如： 自动定理证实和 模型效验。
• 软件（和硬件）开发的 形式方法，好比在 Z符号中使用 谓词逻辑。

    基本 数理逻辑好比 命题逻辑和 谓词逻辑（一般联合上 集合论）的研究被认为是对任何大学 计算机科学课程都很是重要的理论基础。 高阶逻辑一般不教，但在 定理证实工具如 HOL中是很重要的。

    有相关的一个年刊 IEEE Symposium on Logic in Computer Science（LICS）。

 

5.知识（来源百度百科）

哲学：有一个经典的定义来自于柏拉图：一条陈述能称得上是知识必须知足三个条件，它必定是被验证过的，正确的，并且是被人们相信的，这也是科学与非科学的区分标准。

IT：在信息技术中，对企业或我的来讲，知识（knowledge）是指信息的拥有，或快速定位信息的能力。