市场哲学的数学原理Ⅱ-重庆大学智能服务与软件工程中心.ppt

重庆大学行业信息化工程中心 重庆大学软件学院 重庆大学计算机学院 云计算环境下基于描述逻辑的本体并行推理框架研究 报告人：李 韧 1. 研究背景及现状 2. 描述逻辑及其应用 3. 云计算及其关键技术 4. 框架基本架构设想 5. 研究计划 主要内容 2 重庆大学行业信息化工程中心 本体（Ontology） 起源于哲学，可追溯到公元前古希腊哲学家亚里斯多德 定义：对世界上客观存在物的系统的描述，即存在论 本体论是哲学形而上学的一个分支，研究存在的本质，即什么是最一般意义上真实存在的，以及如何描述它们 一个本体形式地刻画一个论域，一个典型的本体由有限个术语以及它们之间的关系组成 研究背景及现状 3 重庆大学行业信息化工程中心 本体（Ontology） In both computer science and information science, an ontology is a data model that represents a set of concepts within a domain and the relationships between those concepts. It is used to reason about the objects within that domain. In theory, an ontology is a formal, explicit specification of a shared conceptualization. An ontology provides a shared vocabulary, which can be used to model a domain — that is, the type of objects and/or concepts that exist, and their properties and relations From Wikipedia, /wiki/Ontology_(information_science) 研究背景及现状 4 重庆大学行业信息化工程中心 计算机相关领域 研究背景及现状 5 重庆大学行业信息化工程中心 本体 人工智能 知识工程 软件工程 语义Web 信息检索/集成 语义Web中的本体 RDF/RDFS OWL OWL Lite OWL DL OWL Full OWL 2 本体示例：动物园的故事 研究背景及现状 6 重庆大学行业信息化工程中心 软件工程中的本体 软件需求与本体 软件过程控制与本体 软件设计与本体 UML 与 本体 (逻辑验证) 描述逻辑 模态逻辑（Modal Logic） 动态描述逻辑（Dynamic DL） 时态描述逻辑（Temporal DL） 研究背景及现状 7 重庆大学行业信息化工程中心 现代逻辑学研究 现代逻辑学研究主要分为了以下几个分支：模态逻辑(modal logic)、时态逻辑(Temporal logic)、空间逻辑(Spatial logic)、道义逻辑(Deontic logic)、动态逻辑(Dynamic logic)、描述逻辑(Description logic)、模糊逻辑(Fuzzy logic)、分布式逻辑(Distributed logic)等。 模态逻辑是现代逻辑的核心，其他逻辑都可以由模态逻辑表示，模糊逻辑与西方传统的逻辑思维(二值逻辑)方式有冲突，因此还没有被西方学术界所广泛接受。 研究背景及现状 8 重庆大学行业信息化工程中心 描述逻辑（Description Logic） 又称为术语逻辑，是一阶谓词逻辑的可判定子集 描述逻辑是OWL Lite和OWL DL的逻辑基础 Brachman于1977年提出描述逻辑思想，并实现第一个描述逻辑系统KL-ONE 推理算法 结构包含算法 Tableau算法 研究背景及现状 9 重庆大学行业信息化工程中心 TBox ABox 描述语言 推理 描述逻辑（Description Logic） DL由概念(Concepts)、关系/角色(Roles)和个体(Individuals)组成，复杂概念和角色可以通过简单概念和角色进行描述 描述逻辑语言表达能力越强，推理复杂性越高，反之亦然 描述逻辑的TBox推理由以下几类组成：可满足性、包含、等价、不交。其中后三者均可转化为可满足性推理；ABox推理主要进行一致性检查推理和检索问题。 基本的描述逻辑语言是AL，可扩展U、C、N、E，形成A族语言 研究背景及现状 10 重庆大学行业信息化工程中心 描述逻辑语言扩展 S：可追溯到命题模态逻辑S4，在ALC语言基础上允许部分角色具有传递性，即ALCR+ R+：传递型角色；I：逆角色；H：角色层次； F：函数型约束；Q：定性数量