基于本体和描述逻辑的语义Web形式化理论及知识推理.docVIP

一、项目基本情况 成果登记号： 项目名称 基于本体和描述逻辑的语义Web形式化理论及知识推理方法研究 候选人 （单位） 甘健侯（云南师范大学），夏幼明（云南师范大学）袁凌云（云南师范大学），（云南师范大学），文斌（云南师范大学），徐天任（云南师范大学），赵波（云南师范大学） 推荐单位 （盖章）或 专家（签字） 云南省教育厅 推荐专业(学科)评审委员会 J.电子信息技术 项目所属学科1 5202010.人工智能理论 项目所属学科2 5202070.知识工程 项目所属学科3 主题词 语义Web形式化理论，推理，本体，描述逻辑,，检索模型 所属国民经济行业 M.科学研究和技术服务业 任务来源 B.省级计划 计划下达单位、部门 云南省科技厅 计划名称和 编号 基于本体论与描述逻辑的语义Web智能推理技术研究及应用（2006F0029Q） 项目开始时间 2007-1-1 项目结束时间 2009-12-30 代表性论文、专著最早发表时间 200-1-16 代表性论文 影响因子合计 代表性论文 他引次数合计 二、项目简介 （限1000字以内） 项目主要研究内容、发现点、科学价值、同行引用及评价等内容。 研究内容和成果如下： OWL的用户自定义字符串和数值关系约束的语法描述提出了本体中的继承关系的形式化定义及其不一致性检测方法，整体/部分关系的形式化定义及其不一致性检查方法，进而提出了以描述逻辑为基础构建的本体评价方法。 三、候选人和候选单位对项目的贡献情况 第1 候选人：甘健侯 对基于本体的Web形式化理论和知识表示、知识库构建等进行了深入的研究，理论研究的主要贡献为：提出了基于描述逻辑的Web知识表示及推理方法、基于ALC+的Web知识表示及推理；提出了OWL的用户自定义字符串和数值关系约束的语法描述以及关系谓词的语义描述的扩展，以及语义Web本体描述语言OWL+。设计并实现了基于Web的旅游信息领域智能知识发现原型系统，提出了基于语义Web的网络教学资源知识库框架，组织构建了基于语义Web的科学家资源领域本体，负责研制了基于本体的科学家资源服务平台。作为第一著作权人获得了三项国家版权局计算机软件著作权：常用软件领域本体知识库管理与推理系统、通用网络在线文库系统和通用网络学习平台软件。 第2 候选人：夏幼明 主要研究不同类(非规范)知识表示之间的相互转换，内涵和外延、定量和定性知识表示的转换，以及不同层次之间(面向知识内涵发掘)的知识表示转换。针对半结构和非结构的信息进行领域本体知识获取问题，利用依存三元组与语义网络及本体理论、方法，提出了框架-语义网络相结合的知识转换及提取的解决方案。对于时变知识、不确定知识的关联规则挖掘问题，提出了基于时序逻辑的同事物同属性的关联规则的支持度和置信度的计算方法。 第3候选人：袁凌云 对基于本体的Web形式化理论和知识库构建方面进行系统深入的研究，承担了国家863计划项目子课题的研究工作，将其研究成果应用于本课题，完成了基于传感网络的教学环境与平台的设计与实现，以及语义Web的网络教学资源库的构建；作为技术骨干参与了常用软件本体知识管理与推理系统和通用网络学习平台的实现工作。 第4 候选人: 徐天伟 对知识管理和智能教学进行系统深入的研究，提出了教育管理知识表示方法和基于过程的知识管理模型和框架，它由支撑层、业务层、表示层、分析层和应用层组成。并从知识本体定义、过程分析、知识抽取、知识流分析等方面对知识流过程进行分析。参与了基于本体和Lucene的语义检索系统的设计与实现工作。 第5 候选人: 文斌 对描述逻辑理论及其在语义Web中知识表示及推理进行深入的研究，给出了扩展后的描述逻辑ALC的语法、语义以及形式化公理体系，添加了描述逻辑ALC+的语义公理，提出了描述逻辑ALC+，构建了描述逻辑ALC+与Web本体语言OWL的对应关系，为本体描述扩展语言OWL+的形成奠定了理论基础。对本体的互操作性和本体描述语言间的映射问题进行了深入的研究，提出了基于语义和结构信息的本体映射方法，以及OWL本体知识到RDF三元组知识表示的转换算法和基于RDF的知识表示到语义网络语言SNetL的转换算法。对本体的评价方法和技术进行了深入的研究，提出了本体中的继承关系的形式化定义及其不一致性检测方法，整体/部分关系的形式化定义及其不一致性检查方法，进而提出了以描述逻辑为基础构建的本体评价方法。学校按照云南省科技厅项目管理有关文件要求，保证该项目计划实施所需人力、物力、工作时间等基本条件和保障，并检查和督促该计划的执行，协助做好项目的管理工作。为项目的开展提供了与国内外同行合作交流的平台，从而保证了项目研究的先进性。