描述语言推理-重庆大学智能服务与软件工程中心.PPT

ALC 描述逻辑 Syntax C,D - A | ? | ⊥ | C ? D | C ? D | ?A | ?R.C | ?R.C Semantic (⊥)I = ?, (?)I=?I (C ? D)I = CI ∩ DI (C ? D)I = CI ∪ DI (?C)I = ?I \ CI (?R.C)I = {x∈ ?I | ?y ∈ ?I : x, y ∈ RI ∧ y ∈ CI } (?R.C)I = {x∈ ?I | ?y ∈ ?I : x, y ∈ RI → y ∈ CI } 描述逻辑及其应用 * 重庆大学行业信息化工程中心 ALC描述逻辑的Tableau推理规则 描述逻辑及其应用 * 重庆大学行业信息化工程中心 基于Tableau算法的UML类图的验证 概念: Employee(E)、Supervisor(S)、Teacher(T)、Graduate(G)、Bachelor(B) 关系：Supervise(R) 验证：Supervisor与Teacher的不相交关系是否成立？即判断S ? T = ?是否成立,或者S ? T是否成立？ S = E ? ?R.G T = E ? ?R(G ? B) 动手试一试验证S ? ?T！ 描述逻辑及其应用 * 重庆大学行业信息化工程中心 云计算 云计算是并行计算(Parallel Computing)、分布式计算(Distributed Computing)和网格计算(Grid Computing)的发展，或者说是这些计算机科学概念的商业实现。云计算是虚拟化(Virtualization)、效用计算(Utility Computing)、IaaS(基础设施即服务)、PaaS(平台即服务)、SaaS(软件即服务)等概念混合演进并跃升的结果 Google 三驾马车: GFS、MapReduce和BigTable Hadoop 三剑客：HDFS、MapReduce和HBase 云计算及其关键技术 * 重庆大学行业信息化工程中心 MapReduce Google提出的并行编程模型和分布式计算框架，用于基于大规模集群的数据密集型应用 Master: 将文件划分为N个Chunks，分配给空闲的Map节点，将Map节点的Intermediate输出分配给Reduce节点，同时负责负载均衡和容错等功能 Map: 根据自定义函数产生一组Key-Values Pairs Reduce:根据Master节点分配的Key-Values Pairs和自定义函数，以Key为基准进行计算 云计算及其关键技术 * 重庆大学行业信息化工程中心 MapReduce应用 WordCount 云计算及其关键技术 * 重庆大学行业信息化工程中心 框架基本架构 * 重庆大学行业信息化工程中心 1 2 … N Hadoop 分布式并行推理引擎 语义Web UML 股票 文件解析 查询解析 结果输出 针对于ALC描述逻辑的Tableau算法在MapReduce模型下的并行化研究（基础研究） 针对于ALCQI描述逻辑的Tableau算法在MapReduce模型下的并行化研究（UML静态图） 针对于SROIQ描述逻辑的Tableau算法在MapReduce模型下的并行化研究（语义Web） 动态描述逻辑、时态描述逻辑等在MapReduce模型下的并行化研究 （UML动态图、股票领域） …… 研究计划 * 重庆大学行业信息化工程中心 Thanks！ * 重庆大学行业信息化工程中心 * System Power Measurement, Modeling and Management System Power Measurement, Modeling and Management * 重庆大学软件学院 Laboratory for Computer Architecture 重庆大学行业信息化工程中心 Laboratory for Computer Architecture Laboratory for Computer Architecture Laboratory for Computer Architecture Laboratory for Computer Architecture Laboratory for Computer Architecture Laboratory for Computer Architecture Laboratory for Computer Architecture Laboratory for Computer Architecture Laboratory for Computer Architectu