CLRL:一种语义Web刑法规则语言

语义Web刑法领域存在大量的模糊和非单调知识,而这些知识无法用当前的规则语言和规则标记语言表示.针对此问题,本文提出了一种语义Web刑法规则语言CLRL(Criminal Law Rule Language).首先,结合刑法规则的特点,构建其元模型以及UML Profile;然后,结合时间逻辑和Dublin Core标准,定义其元数据,并使用XML Schema对其进行描述;最后,结合模态逻辑、可废止逻辑和模糊集理论来定义CLRL的具体语法和详细语义.本文利用Visual Prolog工具,通过刑法案例推理,实现了语义Web刑法领域知识的模糊和非单调推理.CLRL在表示和推理模糊和非单调规则方面具有较强的能力,为语义Web刑法规则的自动推理奠定了重要基础.

农村改革机遇多

北京今年的初冬,承载着亿万百姓的热切期盼.11月12日,在北京闭幕的中国共产党十八届三中全会对农村改革问题的很多新提法新亮点,让不少奋斗在新农村建设发展第一线的大学生村官们非常振奋.

关于机场特色沙盘的构想与开发

机场特色沙盘深入解析机场运营管理的主要管理流程和业务流程,确定航空业务经营及非航资源开发管理方面的管理特性和经营特性,构建能够真实反映机场经营决策中环境分析、战略制定、资源匹配、市场营销、安全服务、非航资源开发等主要功能模块及其运行过程,科学制定系统内部运行规则,并构建多维度的机场运行效率评价体系,体现机场运营管理中的核心管理流程和决策流程。