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

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

基于辩证语义的分布式协同态势分析方法

分布式协同态势分析在联合作战战役筹划中起着十分重要的作用。当前的战场环境呈现动态不确定性,传统的态势分析方法在处理不确定、不一致及不完全信息等实际应用中存在较大的局限性。本文基于辩论理论的辩证语义,提出了一种新的分布式协同态势分析方法。该方法通过多方对话博弈展现不同参与者的主张和论据之间的攻击关系及矛盾焦点,进而构建相应的辩证分析树网格以辅助决策者协同解决态势分析中的信息不一致和观点冲突问题。该方法的研究将为联合作战的态势分析提供新的方法论。