一种基于规则的语言的公理语义

为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序,提出了一种基于规则的语言——逻辑规则描述语言(LRDL)。用EBNF给出了LRDL的语法定义,基于Hoare逻辑的公理系统,形式化地给出并证明了LRDL的公理语义,为用LRDL编写的程序的正确性证明提供了理论依据。

基于SWRL的制造系统知识表达与按需服务过程推理框架

为实现协同制造环境下制造系统服务过程的智能性,提出"需求—资源—服务—过程"为主线的按需制造范式,结合本体、语义推理等技术,提出制造系统基于语义网规则语言的服务过程按需推理框架;建立制造需求、资源、服务、过程的本体概念和关系模型,构建该框架的本体知识库;基于服务按需组合生成动态服务过程思想,运用IOPE模型描述语义Web服务功能语义和动态前后件服务交互特征,提取服务过程触发推理的描述逻辑规则,并通过规则到本体知识属性的映射构建语义规则;运用Protégé和Jess推理引擎实现推理的应用模型,通过推理实验证明了该方法的有效性。

基于描述逻辑的XACML策略研究

针对XACML策略间的语义表示、冲突等问题,提出基于描述逻辑的形式化方法,对XACML策略的目标、规则、规则组合算法和策略冲突消解算法进行形式化处理,并给出基于描述逻辑的规则间冲突检测方案。分析结果表明,该形式化方法便于XACML策略的扩展,并且增强了XACML的语义表达能力和推理能力。

语义Web的逻辑基础

分析了语义Web的逻辑基础。指出了语义Web语言RDF和RDF Schema的语义是基于非经典的模型论语义,阐明了在此基础上扩展到表达能力更强的基于描述逻辑的本体语言OWL的困难,然后描述了OWL对这些困难的解决方法,并概述了如何把OWL的本体推理归约到描述逻辑的知识库可满足性问题。最后介绍了在OWL的基础上纳入Horn子句规则的方法。

基于描述逻辑的地图语义模型初步研究

为了研究地图的形式化语义表达问题,将语言学的理论和方法应用到地图领域,把地图符号系统作为一种二维图形语言,在分析地图语言的基本语言单位、语法规则和语义规则的基础上,采用扩展的描述逻辑AL-CRP(D),建立了地图语义模型。模型能完备地表达地图语言的语义,为用逻辑方法研究地图信息提供了借鉴意义。