一种基于规则的OWL-S本体语法一致性维护方法

OWL-S本体语法一致性维护是语义Web服务维护工程中需要重点研究的问题.提出一个一致性维护框架指导知识工程师进行OWL-S本体语法一致性维护,定义并抽象出OWL-S本体基本变化,提出变化关联矩阵分析基本变化间的依赖关系,基于关联矩阵提出额外变化序列生成算法分析基本变化对全局的影响,并分析了算法时间复杂性.对OWL-S本体语法一致性规则进行了形式化定义,使机器能够自动检测这些规则,辅助知识工程师完成OWL-S本体语法一致性维护工作.     

一种基于语义推理的多智能体协同功能设计框架

在功能设计知识本体表示模型的基础上，提出了一种基于语义推理的多智能体协同功能设计框架。该框架分为两个部分，其中，基于Multi-agent的通信协作平台将OWL本体嵌入到FIPAACL中以实现产品设计Agent之间的设计知识通信；基于本体的功能建模方法则将本体表示与本体推理结合以支持功能设计本体的存储与检索。最后，对该框架所包含的协同功能设计本体语义推理模型进行了分析与实现，以证明所建议框架的有效性。     

细粒度预警装备领域知识图谱本体构建

针对预警装备领域知识图谱构建中数据组织非结构化、实体关系刻画不够细致、知识表示缺乏规范化表达等问题,基于Protégé本体构建工具,首先,将预警装备体系自上而下分为装备原理知识类、管理保障资源类和装备操作运用类等,并进行细化梳理,定义概念类并划分层次关系,提取出具体装备信息中的实体、属性、关系等知识单元;然后,对预警装备领域知识进行建模,探索出科学完整的细粒度预警装备知识表示框架,并以“远程预警相控阵雷达”为例,进行本体实例填充和可视化;最后,基于本体描述语言对预警装备本体进行了形式化表示。该本体为构建基于多源高质量数据的领域知识图谱奠定了语义基础,对实现大数据背景下装备能力画像、发展态势分析、装备故障诊断与健康状态管理等装备智能化管理保障和作战运用具有一定的实践指导价值。     

本体驱动的多分辨率联邦一致性维护方法

传统的聚合解聚方法仅能解决语法层的数据聚合解聚的参数静态匹配问题,却不能解决联邦一致性的其他两个重要的方面:数据的语义匹配合理性及联邦运行中的动态一致性。为了解决以上两个问题,提出了一种本体驱动的多分辨率联邦一致性维护框架——OCM框架。该框架基于本体创建与融合技术构建联邦本体,通过邦员本体与联邦本体间的映射,解决了联邦数据匹配的合理性问题;基于聚合解聚方法,引入管理与协调联邦实体状态的邦员,通过合理设计联邦的实时对象更新及交互机制,实现了联邦实体状态的实时一致性。实验结果表明:OCM框架能有效保持联邦中多分辨率实体的状态一致,并且由于联邦本体的可重用性,对邦员的增加与退出不敏感,因此联邦的重组合也具有一定的借鉴价值。     

基于OWL本体和内嵌谓词SWRL的空军智慧航材订货模型

针对目前航材订货中的人为修正经验可能因订货决策人员岗位变动而"失传"的问题,提出了利用本体论和内嵌谓词SWRL(Semantic Web Rule Language)构建航材订货的OWL(Ontology Web Language)本体和订货推理的SWRL规则,采用Protégé软件和Jess推理引擎实现了空军智慧航材订货系统的应用模型。该模型可以有效积累航材订货工作经验,协助航材订货人员进行订货决策,从而减少航材订货的学习成本,提高订货效率。     

装备保障计划本体的建立和分析

基于本体论方法形式化地探讨装备保障计划本体的建立和分析,具体介绍了机械化步兵师装备保障计划本体的建立方法、本体元素的描述、本体的一致性等方面的内容。给出两个判断类间关系一致性的算法并分析其性质,探讨了基于公理化的知识的一致性。     

基于OWL本体扩展的视频语义内容分析

随着可获得视频数据的快速增长,迫切需要有效的方法在语义层理解和管理视频数据。对OWL语言进行扩展,提出了V-OWL本体描述框架,支持视频内容蕴含的时空关系和不确定性关系的建模,使用基于贝叶斯网络的B-图描述模型,将V-OWL本体概念、关系映射为B-图中的节点、边,利用贝叶斯网络训练推理算法实现视频高层语义的自动推理发现。实验结果显示,V-OWL本体描述框架对复杂视频内容具有很好的描述能力,基于V-OWL的视频内容分析框架对视频高层语义探测具有较高的查准率和查全率。     

一种基于本体的功能建模表示方法

通过分析典型的功能模型并提取具有共性的公共概念和关系,结合本体建模技术,提出了一种基于本体的功能建模方法,以解决异种功能建模框架之间知识交换与协同设计问题.该方法将功能建模过程自顶向下分解成功能、行为、流与结构4个本体类,定义分析了相关属性,并建立了概念映射关系模型,有利于构造领域功能设计本体库.最后,利用该方法构建了离心通风机的功能建模本体库.     

基于本体的Legacy知识系统集成

大量Legacy知识系统在语义层上的冲突阻碍着相互间的集成与互操作,影响了我军一体化知识处理平台的实现.将一个分布异构的知识系统视为多主体系统,提出了一种通过中介主体来实现Legacy知识系统集成的软件框架,分析了中介主体的结构;在这一结构中,通过明确表达Legacy知识系统的本体、借助战场空间领域共享本体、本体映射规则来解决语义冲突,实现了Legacy知识系统之间的语义集成.     

一种基于本体的军事需求一致性分析方法

军事需求不一致问题事关军事信息系统建设的成败.首先,分析了军事需求不一致的表现形式和产生原因,并从本体论的特征、功能入手对本体论与解决军事需求不一致问题的关系进行了讨论,提出了基于本体解决军事需求不一致问题的思路.其次,以军事需求活动为主线,将军事需求本体分为概念本体、动作本体和活动本体,并通过应用领域分析、描述对象分析和对象关系分析三个基本步骤进行确定.第三,根据各类军事需求本体的不同,对各处本体的建模方法分别进行了阐述.最后,利用语义推理,实现了基于本体的军事需求一致性分析,并对推理步骤进行了详细的叙述.     

C4ISR需求开发新途径:基于本体的方法

C4ISR需求具有复杂、难沟通等特点,导致C4ISR需求开发难,本体能够使问题从某种程度上得以解决.首先介绍基于本体开发C4ISR需求的优势.然后分析本体在C4ISR需求开发各个阶段中能够提供的作用,设计C4ISR需求本体功能实现途径;而且,采用框架法设计、定义了C4ISR需求领域的元本体,通过重用、继承可以形成有序的知识网络,很大程度上澄清了C4ISR需求领域知识结构.最后对C4ISR需求开发方法进行讨论,说明基于本体开发C4ISR需求方法的有效性.     

反导作战预案形式化建模研究

反导作战预案是提高作战决策方案生成实时性和准确性的关键.通过对反导作战预案具体应用流程的分析,结合SysML,OWL_DL和CBML等形式化建模语言,提出了一种具有模型验证环节的预案形式化建模方法;根据所提出的方法,分析提炼了反导作战预案构成要素,定义了SysML块定义图、预案要素、OWL_DL和XML Scheme元素之间的映射规则;依据相应的转换规则,分别建立了反导作战预案概念层模型、逻辑层模型、物理层模型和预案本体模型,并应用预案本体模型对概念层模型进行了模型一致性验证.     

基于SOA的战场武器协同系统服务语义描述

高效的武器协同能充分发挥各作战单元的整体作战效能。SOA(Service Oriented Architecture)体系结构松耦合性、平台独立性及可重用性等特点,为武器协同系统的实现提供了有效的技术途径。文章针对现行集中式的武器协同系统体系结构,重点讨论了武器协同本体构建及战场服务语义描述的实现问题。首先介绍了武器协同系统的组成及工作流程;然后依据系统的操作过程,构建了完整一致的武器协同本体,并用OWL语言对其进行描述;分析、比较了几种服务描述语言优缺点,选择了WSDL-S语言进行服务描述,并以火炮射击服务为例,给出了战场服务的封装和描述方法,主要包括基本服务信息描述和服务描述的语义扩展。最后,对下一步工作进行了展望。     

武器装备故障概率数据修正方法

武器装备各维护级别的各种故障概率可以作为历史知识用于后续的维护行为中,确保故障概率数据的跨维护级别一致性是使用其作为历史知识指导维护行为的前提.由于种种原因,与同一设备相关的不同维修级别的故障概率可能存在冲突.以原位级统计的LRU功能故障概率和中间级统计的SRU故障概率为例,提出三种修正故障概率的方法,确保不同级别的统计故障概率数据的一致性.介绍了一种评定故障概率数据价值的方法.     

分布式数据库系统中数据一致性维护方法研究

分布式数据库系统是数据库领域中的一个主要研究方向 ,数据一致性维护是分布式数据库系统中的一个非常关键的技术问题。在深入分析和比较各种维护数据一致性方法的基础上 ,提出了一种较为有效的维护数据一致性的方法 ,详细论述了该方法如何解决并发执行引起的冲突问题 ,以及如何利用消息队列机制保持各数据副本的一致     

基于本体论的战场机动目标表述方法

在信息化条件下的现代战争中,战场机动目标的有效表述成为分析判断战场态势的重要内容。用统一的理论方法与工具建立战场机动目标的完整表述,可以有力地保障与推动其后的战场态势估计与威胁预测。本文提出了利用本体论表述战场机动目标的方法,通过建立相应的本体六要素,将机动兵器目标本身的特征属性与相关军事知识结合起来,用统一的方式表述目标要素及相关要素之间的关系。以A型战斗机为例建立其相应的目标本体,并利用Protégé工具实现了该本体的建立,结果表明利用基于本体的方法表述战场机动目标效果更好,更利于后续工作的开展,初步证实了研究的必要性和可行性,并对后续的研究进行了展望。     

基于本体技术的分布式模拟训练系统操作监控平台

针对分布式模拟训练系统操作训练特点,在基于HLA（High Level Architecture）的模拟训练系统中,提出并建立了基于本体技术的操作训练监控平台,解决了训练系统和监控平台中操作消息的语义异构问题,实现了操作训练情况的动态实时显示。在平台实现中,采用RTI（Run-Time Infrastructure）提供的服务实现了联邦数据收发;建立了操作信息领域本体,采用计算语义相似度的方法实现操作信息由分布交互层向语义层映射;通过专家知识库和操作监控引擎判断操作逻辑合理性;利用View Graph以图形化的方式展示出操作训练情况。最后,通过一个炮车操作训练监控实例,验证了该平台的可行性和有效性。     

战场空间本体构建方法研究

从构建战场空间知识基础设施,进而形成一体化的知识处理平台、获取知识优势出发,将本体思想引入战场空间知识建模领域,提出了战场空间本体体系,即战场空间本体包括上层本体、领域本体、应用本体;并重点研究了一种战场空间领域本体的构建方法BOC,包括基于上层本体BUO的领域本体构建方法,基于上层本体BUO的领域本体合并方法.基于本体的战场空间知识建模从根本上解决了战场空间中知识系统之间的知识共享和重用问题,便于知识系统的集成.     

面向军事领域的动态本体构建技术研究

随着军事数据的爆炸式增长,传统的基于专家知识建立的静态本体存在对专家主观知识依赖性强、可移植性差、学习能力差等问题,已无法动态地适应数据的变化以及大规模知识图谱的自动更新。针对军事领域应用场景,提出一种面向军事领域的动态本体构建技术,通过初始本体设计、数据映射、形式背景合并、本体更新4个环节完成本体概念的更新。该技术可以随着信息的变化自动更新本体模型,方便多源异构数据的更新集成和知识图谱的构建。最后,以俄乌冲突知识图谱为案例进行分析验证。该动态本体构建技术能够有效发现新的事件类型及相关要素,实现多源异构数据的更新、融合及基于知识图谱的军事活动规律推理。     

基于本体的异构信息查询技术研究

将本体应用于异构信息集成领域,提出了基于混合本体的信息集成框架,并结合实际对基于本体的查询处理问题进行了研究,通过实例验证了该信息集成框架的可行性.