基于本体和规则的产品配置系统研究

产品配置是实现产品快速定制和提供个性化服务的一种有效手段,而配置知识的获取、表达和推理是实现产品配置的关键.在分析当前配置设计中存在问题的基础上,提出了一个基于本体和规则的产品配置设计解决方案.首先分析了配置设计中不同的知识类型,提出了一种基于粗集的规则获取方法;然后采用OWL/SWRL对产品配置本体和配置规则进行知识表达;最后以JESS为推理引擎实现了配置知识的推理.通过电梯配置设计原型系统的开发与应用,进一步说明了该方法的可行性.     

基于本体的汽车服务平台研究与开发

文章以汽车信息平台为背景,采用OWL（本体语言）建立汽车信息本体知识库,建立基于SWRL（语义网规则语言）的汽车关系判定和推理的规则库,研究设计并实现出一个以本体（Ontology）为基础具备规则推理能力、具有Web接口的智能汽车服务平台。     

基于SWRL的应急案例库的知识表示及推理方法研究

针对当下在公共社会领域中突发应急事件的信息量庞大,难以为应急决策系统提供快速支持的热点问题,深入研究了基于SWRL的应急案例库的知识表示以及推理方法。首先定义了应急案例库中的相关概念,并采用语义上具有较强能力的OWL(Web Ontology Language)作为应急案例库Ontology构建的基础。然后引入SWRL(Semantic WebRule Language)来进一步构建应急案例库的规则机制并改善OWL在推理能力方面的不足。最后运用SWRL推理规则与Jena推理机对应急案例库中的规则进行了进一步的整合与推理现实。仿真结果验证了SWRL推理规则的有效性与正确性。     

基于UML的领域规则建模方法

为了实现领域约束规则的可视化表示,检验需求模型与领域知识之间的一致性,该文提出一种领域规则建模及需求模型验证方法.在借鉴本体定义元模型和语义网规则语言(SWRL)基础上,定义了一种领域规则定义元模型.用该元模型扩展统一建模语言,使其可用于领域规则建模.给出了领域规则模型到SWRL描述的转换方法,使需求模型验证可通过形式化推理引擎自动完成.通过模型验证案例分析,说明了该方法的可用性.     

分布式本体调试信息的存储优化与增量更新

为提高大规模本体信息的推理调试速度,提出了基于分布式数据库的RDFS和OWL pD*的推理调试方法,并优化存储模型和推理调试算法.此外,每次本体信息更新后,静态的本体推理和调试算法都需要完全地重新进行推理,因而提出了一种针对本体信息更新的增量算法,实现本体数据的动态更新.LUBM数据集的实验结果表明,基于分布式数据库是基于分布式文件的本体调试方法用时的15%～25%.在百万数量级三元组上,更新20%以内的数据,增量更新算法更有效.     

基于迭代MapReduce的大规模RDF本体传递推理方法研究

随着Web内容爆炸式增长,基于RDF的开放关联数据越来越多,传统的RDF推理技术难以适应日益增长的大规模RDF数据推理任务.提出基于MapReduce的分布式迭代算法,设计了简洁的去重方法,实现分布式RDF推理,解决了RDF传递推理工程中持续产生单调递增数据集传递闭包问题.实验采用基于Hadhoop的分布式文件系统存储MapReduce算法,实验结果显示方法具有较好的计算性能和可扩展性.     

分布式环境中基于核函数的极限学习机

针对海量数据规模下的集中式核函数极限学习机的性能问题,将基于核函数的极限学习机扩展到云计算技术框架下,提出了基于MapReduce的分布式核函数极限学习机MR-KELM.该算法将分布式径向基核函数计算出的核函数矩阵进行分布式矩阵分解,并通过分布式矩阵向量乘法得到分类器输出权重,减小了网络通讯和数据交换代价.实验结果表明,MR-KELM算法能够在不影响基于核函数的极限学习机的计算理论的前提下,具有较好的可扩展性和分类训练性能.     

基于地理本体的地下管线空间知识表示方法研究

地下管线空间知识作为连接管线建设规范与管线空间关系的桥梁,在地下管线GIS系统的管线数据校验等方面的重要作用已被众多研究人员、开发厂商所认同.而针对目前地下管线空间知识存在的语义缺失与可扩展性不强等问题,本文给出了一种基于地理本体的地下管线空间知识表示方法,通过本体描述语言OWL构建地下管线地理本体,在此基础上通过扩展的语义网规则语言SWRL实现地下管线空间知识的形式化表达.与传统的产生式及三值权位表方法相比,本体的方法使空间知识包含丰富的语义信息,易于扩展且支持复杂计算,有利于地下管线空间知识在不同系统间的共享与重用.     

一个基于SWRL的查询系统框架

基于本体的查询是当前的研究热点,但本体的语义表达能力局限于描述逻辑,不能表达一般形式的规则,因此人们提出了语义Web规则语言(SWRL)。分析了SWRL的研究现状及主要特点,然后基于SWRL解析器构建了一个基于SWRL的查询系统框架。     

基于云模型和SWRL预测兵器试验故障的研究

将云模型理论和SWRL应用于预测兵器试验故障的研究,用MATLAB实现了正向云和逆向云发生器,用protege建立了兵器试验故障本体并确立了SWRL规则。举例将云模型预测的数据输入兵器试验故障本体用SWRL规则进行了推理,以保证预测结果的正确性与一致性。     

Uncertainty Modeling Based on Bayesian Network in Ontology Mapping

0 IntroductionIn many semantic interoperability applications , ontologymappingis the first step to be resolved[1].If we want toget exact mappinginformation,we needto deal withthe prob-lemof uncertainty[2].Uncertainty becomes more prevalent in concept mappingbetween two ontologies . Semantic si milarities between con-cepts are difficult to represent logically,but can easily be re-presented probabilistically.This has motivatedrecent develop-ment of ontology mapping taking probabilistic approach…     

模糊OWL 2本体到模糊关系数据库映射形式化方法

针对语义Web上的模糊OWL 2本体,提出了基于关系数据库的模糊本体存储方法.通过深入分析模糊OWL 2本体的结构及语义特点,提出了基于模糊关系数据库的模糊本体存储结构,在此基础上,给出了模糊OWL 2本体到模糊关系数据库映射的形式化方法.理论和实例结果表明所提出的形式化映射方法是合理和可行的.     

基于OWL的仿真想定本体构建方法

研究了作战过程,提出了基于OWL的作战单元本体、装备本体、任务本体和仿真想定本体的构建方法,采用了描述逻辑对作战相关概念、关系进行了推理,检验了概念、关系的一致性,优化了概念层次结构。通过实例分析,对构建的本体进行了检验。结果表明：该方法实现了军事领域概念的合理分类和想定数据语义的智能检测,可为想定开发人员自动地提供决策支持。     

分布式计算环境下的语义安全策略语言

提出了一种用于分布式计算环境的语言安全策略语言SSPL。SSPL通过OWL DL描述,支持各种安全策略的基本类型,包括肯定和否定授权,肯定和否定义务,权限委托和撤销以及策略冲突消除等。SSPL还支持基于规则的安全策略,使得该语言具有更强的表达能力。为了分析SSPL策略的形式化语义和推理的可判定性,引入DL-safe规则和courteous logic program的概念,并定义了一组从SSPL策略到courteous DL-safe program的转换规则,介绍了对转换得到的逻辑程序的推理过程。     

基于BNF的OBO规范化和OWLDL转换研究

大多数生物本体包括基因本体这样重要的本体都用OBO表示。这些本体尤其是其中用共享和可控的词汇来注释的实验数据将会融入到语义网中。随着OWL语言成为W3C的本体标准建模语言。将用OBO表示的生物本体转换成用0WL语言表示显得十分必要。本文用BNF范式规范TOBO的语法,设计了一个规则将OBO转换成OWLDL,并且设计和实现了一个简易的转换系统。     

图形化本体建模工具GOM的设计与实现

将本体表示语言OWL Lite中相关词条图形化, 以图形化结构表示本体模型, 设计并实现了一种图形化本体建模工具GOM. GOM以图形化结构表示本体, 能够把图形化结构的本体模型转换成OWL Lite语言表示形式; 也可读取OWL Lite表示的本体, 生成本体模型的图形化结构. GOM实现了图形化结构的本体模型和OWL Lite表示的本体模型间的相互转换, 提高了本体模型的可读性, 降低了本体建模的工作强度.     

面向分布式共享的海洋监测时空数据表达与传输模式研究

针对海洋时空监测数据分布式共享中的网络传输性能瓶颈问题，提出了一种基于共享式编码与实时压缩的时空数据表达与传输模式，建立了面向服务的海洋时空数据分布式共享框架，采用GML、KML、GeoJSON实现了海洋监测数据的编码式表达，采用压缩算法实现了数据实时高效传输。基于阿里云计算平台，设计和部署了面向海洋应用的分布式GIS系统作为实验平台，实验结果表明，采用GeoJSON和Deflate 6/GZIP建立海洋监测时空数据表达与传输模式，在分布式共享与集成系统中表现出较好的适用性和较突出的性能优势。     

基于MapReduce的关系型数据仓库并行查询

针对MapReduce框架与传统关系型数据库兼容性不好的问题,提出了一种基于分块结构的分布式关系数据库ChunkDB.并对MapReduce架构进行了扩展设计,使ChunkDB与MapReduce有效结合,将MapReduce的扩展性、易操作性、高并行性与关系数据库的索引等查询优化优势相结合.实验证明基于MapReduce的ChunkDB数据库能够为数据仓库应用提供快速高效的并行查询.